Drop the USE_PRINTK_IN_CAR option. It's a bogus decision to make for any user /
[coreboot.git] / src / mainboard / hp / dl145_g3 / Kconfig
index ee7bca4e9fb3f2ee5fa2c50bc608dc746c27f81e..956aaffde52425fb489f60fb17894b36da5864a9 100644 (file)
@@ -11,7 +11,6 @@ config BOARD_HP_DL145_G3
        select HAVE_OPTION_TABLE
        select HAVE_PIRQ_TABLE
        select HAVE_MP_TABLE
-       select USE_PRINTK_IN_CAR
        select USE_DCACHE_RAM
        select HAVE_HARD_RESET
        select LIFT_BSP_APIC_ID