diff --git a/board/pc/linux-extras.config b/board/pc/linux-extras.config
index 3d8cc3326b..8c9c225739 100644
--- a/board/pc/linux-extras.config
+++ b/board/pc/linux-extras.config
@@ -40,3 +40,6 @@ CONFIG_RT2800USB_RT53XX=y
 CONFIG_RT2800USB_RT55XX=y
 # CONFIG_RTL_CARDS is not set
 CONFIG_RTL8XXXU=m
+
+# EFI support
+CONFIG_EFI=y