Minor kernel printing tweaks