diff --git a/src/arch/x86/pci_ops_conf1.c b/src/arch/x86/pci_ops_conf1.c
index 820744c74b..a92fd3108f 100644
--- a/src/arch/x86/pci_ops_conf1.c
+++ b/src/arch/x86/pci_ops_conf1.c
@@ -20,7 +20,7 @@
  * Functions for accessing PCI configuration space with type 1 accesses
  */
 
-#if !CONFIG_PCI_IO_CFG_EXT
+#if !IS_ENABLED(CONFIG_PCI_IO_CFG_EXT)
 #define CONFIG_CMD(bus, devfn, where)	(0x80000000 | (bus << 16) | \
 					(devfn << 8) | (where & ~3))
 #else
diff --git a/src/arch/x86/smbios.c b/src/arch/x86/smbios.c
index 285027006e..72fb0dfb77 100644
--- a/src/arch/x86/smbios.c
+++ b/src/arch/x86/smbios.c
@@ -278,7 +278,7 @@ static int smbios_write_type0(unsigned long *current, int handle)
 	t->length = len - 2;
 
 	t->vendor = smbios_add_string(t->eos, "coreboot");
-#if !CONFIG_CHROMEOS
+#if !IS_ENABLED(CONFIG_CHROMEOS)
 	t->bios_release_date = smbios_add_string(t->eos, coreboot_dmi_date);
 
 	t->bios_version = smbios_add_string(t->eos,
diff --git a/src/console/vtxprintf.c b/src/console/vtxprintf.c
index 5f37253e7d..acf2f80f7f 100644
--- a/src/console/vtxprintf.c
+++ b/src/console/vtxprintf.c
@@ -21,7 +21,7 @@
 
 #define call_tx(x) tx_byte(x, data)
 
-#if !CONFIG_ARCH_MIPS
+#if !IS_ENABLED(CONFIG_ARCH_MIPS)
 #define SUPPORT_64BIT_INTS
 #endif