Drop some print_newline()s from the kernel