hence the comment in kbd.c:

	KF=		0xF000,	/* function key (begin Unicode private space) */

my comment was more that looking at the code
i think nothing really depends on Spec being 0x80
and it could just as easily be 0xF000.