Some more kernel console debugging commands.