Drop the USE_PRINTK_IN_CAR option. It's a bogus decision to make for any user /
[coreboot.git] / src / mainboard / hp / Kconfig
index b78032cd276b7511494a5fe8ae050e8e8dbb8369..36857e5f8770c9fa7434824d272694fbb463bb5b 100644 (file)
@@ -1,8 +1,9 @@
 choice
        prompt "Mainboard model"
        depends on VENDOR_HP
-        
+
 source "src/mainboard/hp/dl145_g3/Kconfig"
+source "src/mainboard/hp/e_vectra_p2706t/Kconfig"
 
 endchoice