# CONFIG_VGA_CONSOLE is not set