silence kernel printfs in kern_fkvm.c