I don't think anyone was ever able to get their hands on a K80 to
confirm. It's a different ID than the GK110 (0xf0) / GK110B (0xf1). I
believe it's referred to as a GK210, but not sure if that's just a
marketing thing or if it's actually different.
You can try copying the 0xf1 entry in devinit
NOUVEAU MESSAGE :* {*
*[ 47.314360] nouveau 0001:03:00.0: enabling device ( -> 0002)[
47.314452] nouveau 0001:03:00.0: unknown chipset (0f22d0a1) [ 47.323897]pci
0001:02:10.0: enabling device ( -> 0002) [ 47.323938] nouveau
0001:04:00.0: enabling device ( -> 0002)[ 47.324095]