kernel-engine: printf -> kcov_debug