diff --git a/include/configs/efi-x86.h b/include/configs/efi-x86.h
index 7fb37f06b883042d59ae39bf3c0265cd0d8220d2..6dd0b32daef964a8107d14c130d392647ba327b1 100644
--- a/include/configs/efi-x86.h
+++ b/include/configs/efi-x86.h
@@ -20,6 +20,7 @@
 #undef CONFIG_SCSI_AHCI
 #undef CONFIG_CMD_SCSI
 #undef CONFIG_INTEL_ICH6_GPIO
+#undef CONFIG_USB_EHCI_PCI
 
 #define CONFIG_STD_DEVICES_SETTINGS     "stdin=usbkbd,vga,serial\0" \
 					"stdout=vga,serial\0" \