Remove excess prints from kernel.core