Drop the USE_PRINTK_IN_CAR option. It's a bogus decision to make for any user /
[coreboot.git] / src / mainboard / artecgroup / dbe61 / Kconfig
index dfb82c695c30c3f734e0d011ea431945f6c9e057..54847cec8f7502d613127bb8ef03f69bd50c9935 100644 (file)
@@ -8,7 +8,6 @@ config BOARD_ARTECGROUP_DBE61
        select PIRQ_ROUTE
        select UDELAY_TSC
        select USE_DCACHE_RAM
-       select USE_PRINTK_IN_CAR
        select BOARD_ROMSIZE_KB_256
 
 config MAINBOARD_DIR