Make kern_fkvm.c build and add printf's as evidence of its exists.