3 files changed, 6 insertions, 6 deletions
diff --git a/src/mainboard/iei/juki-511p/Options.lb b/src/mainboard/iei/juki-511p/Options.lb
index acedd0f765..8d8b039abf 100644
--- a/src/mainboard/iei/juki-511p/Options.lb
+++ b/src/mainboard/iei/juki-511p/Options.lb
@@ -35,7 +35,7 @@ uses CONFIG_XIP_ROM_BASE
 uses CONFIG_HAVE_MP_TABLE
 uses CONFIG_CROSS_COMPILE
 uses CC
-uses CONFIG_HOSTCC
+uses HOSTCC
 uses CONFIG_OBJCOPY
 uses CONFIG_CONSOLE_SERIAL8250
 uses CONFIG_DEFAULT_CONSOLE_LOGLEVEL
@@ -141,7 +141,7 @@ default CONFIG_TTYS0_LCS=0x3
 ##
 default CONFIG_CROSS_COMPILE=""
 default CC="$(CONFIG_CROSS_COMPILE)gcc -m32"
-default CONFIG_HOSTCC="gcc"
+default HOSTCC="gcc"
 
 default CONFIG_VIDEO_MB = 0
 
diff --git a/src/mainboard/iei/nova4899r/Options.lb b/src/mainboard/iei/nova4899r/Options.lb
index 5072017fd5..1144648c14 100644
--- a/src/mainboard/iei/nova4899r/Options.lb
+++ b/src/mainboard/iei/nova4899r/Options.lb
@@ -30,7 +30,7 @@ uses CONFIG_XIP_ROM_BASE
 uses CONFIG_HAVE_MP_TABLE
 uses CONFIG_CROSS_COMPILE
 uses CC
-uses CONFIG_HOSTCC
+uses HOSTCC
 uses CONFIG_OBJCOPY
 uses CONFIG_DEFAULT_CONSOLE_LOGLEVEL
 uses CONFIG_MAXIMUM_CONSOLE_LOGLEVEL
@@ -125,7 +125,7 @@ default CONFIG_ROM_PAYLOAD     = 1
 ##
 default CONFIG_CROSS_COMPILE=""
 default CC="$(CONFIG_CROSS_COMPILE)gcc -m32"
-default CONFIG_HOSTCC="gcc"
+default HOSTCC="gcc"
 
 ##
 ## The Serial Console
diff --git a/src/mainboard/iei/pcisa-lx-800-r10/Options.lb b/src/mainboard/iei/pcisa-lx-800-r10/Options.lb
index 8da41c1b04..9dac6822f4 100644
--- a/src/mainboard/iei/pcisa-lx-800-r10/Options.lb
+++ b/src/mainboard/iei/pcisa-lx-800-r10/Options.lb
@@ -54,7 +54,7 @@ uses CONFIG_XIP_ROM_BASE
 uses CONFIG_HAVE_MP_TABLE
 uses CONFIG_CROSS_COMPILE
 uses CC
-uses CONFIG_HOSTCC
+uses HOSTCC
 uses CONFIG_OBJCOPY
 uses CONFIG_DEFAULT_CONSOLE_LOGLEVEL
 uses CONFIG_MAXIMUM_CONSOLE_LOGLEVEL
@@ -98,7 +98,7 @@ default CONFIG_RAMBASE = 0x00004000
 default CONFIG_ROM_PAYLOAD = 1
 default CONFIG_CROSS_COMPILE = ""
 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