[PATCH] console_setup() depends (wrongly?) on CONFIG_PRINTK