diff --git a/hypervisor/arch/x86/configs/apl-up2.config b/hypervisor/arch/x86/configs/apl-up2.config
index 66a47c2a7..1fb016619 100644
--- a/hypervisor/arch/x86/configs/apl-up2.config
+++ b/hypervisor/arch/x86/configs/apl-up2.config
@@ -1,5 +1,5 @@
 # Generated by Kconfiglib (https://github.com/ulfalizer/Kconfiglib)
-CONFIG_BOARD="UP2"
+CONFIG_BOARD="up2"
 CONFIG_SERIAL_PCI=y
 CONFIG_SERIAL_PCI_BDF="0:18.0"
 CONFIG_COM_IRQ=6
diff --git a/hypervisor/arch/x86/configs/nuc6cayh.config b/hypervisor/arch/x86/configs/nuc6cayh.config
index 07f56c772..dd77173b6 100644
--- a/hypervisor/arch/x86/configs/nuc6cayh.config
+++ b/hypervisor/arch/x86/configs/nuc6cayh.config
@@ -1,3 +1,3 @@
 # Generated by Kconfiglib (https://github.com/ulfalizer/Kconfiglib)
-CONFIG_BOARD="NUC6CAYH"
+CONFIG_BOARD="nuc6cayh"
 CONFIG_SERIAL_LEGACY=y
diff --git a/hypervisor/arch/x86/configs/nuc7i7bnh.config b/hypervisor/arch/x86/configs/nuc7i7bnh.config
index 9bc8aa415..4503cce4f 100644
--- a/hypervisor/arch/x86/configs/nuc7i7bnh.config
+++ b/hypervisor/arch/x86/configs/nuc7i7bnh.config
@@ -1,3 +1,3 @@
 # Generated by Kconfiglib (https://github.com/ulfalizer/Kconfiglib)
-CONFIG_BOARD="NUC7i7BNH"
+CONFIG_BOARD="nuc7i7bnh"
 CONFIG_SERIAL_LEGACY=y