uses CONFIG_HAVE_OPTION_TABLE
uses CONFIG_HAVE_PIRQ_TABLE
uses CONFIG_HEAP_SIZE
-uses CONFIG_HOSTCC
+uses HOSTCC
uses CONFIG_IRQ_SLOT_COUNT
uses COREBOOT_EXTRA_VERSION
uses CONFIG_MAINBOARD
default CONFIG_USE_OPTION_TABLE = 0
default CONFIG_ROM_PAYLOAD = 1
default CC="$(CONFIG_CROSS_COMPILE)gcc -m32"
-default CONFIG_HOSTCC="gcc"
+default HOSTCC="gcc"
default CONFIG_CONSOLE_SERIAL8250 = 1
default CONFIG_TTYS0_BAUD = 115200
default CONFIG_TTYS0_BASE = 0x3f8