KozmiKKernel: compile fixup