a set of console-related fixes to the kernel