Make kern_fkvm.c build and add printf's as evidence of its exists.
tree7452386af93cbabe21880410d93be6987b052db5
-rw-r--r-- 6134 COPYRIGHT
-rw-r--r-- 383 LOCKS
-rw-r--r-- 6786 MAINTAINERS
-rw-r--r-- 11904 Makefile
-rw-r--r-- 39973 Makefile.inc1
-rw-r--r-- 205363 ObsoleteFiles.inc
-rw-r--r-- 3025 README
-rw-r--r-- 45337 UPDATING
drwxr-xr-x - bin
drwxr-xr-x - cddl
drwxr-xr-x - contrib
drwxr-xr-x - crypto
drwxr-xr-x - etc
drwxr-xr-x - games
drwxr-xr-x - gnu
drwxr-xr-x - include
drwxr-xr-x - kerberos5
drwxr-xr-x - lib
drwxr-xr-x - libexec
drwxr-xr-x - release
drwxr-xr-x - rescue
drwxr-xr-x - sbin
drwxr-xr-x - secure
drwxr-xr-x - share
drwxr-xr-x - sys
drwxr-xr-x - tools
drwxr-xr-x - usr.bin
drwxr-xr-x - usr.sbin