diff --git a/repos/base-sel4/mk/spec/sel4_x86_32.mk b/repos/base-sel4/mk/spec/sel4_x86_32.mk
index 72e22c649..c28cda6d4 100644
--- a/repos/base-sel4/mk/spec/sel4_x86_32.mk
+++ b/repos/base-sel4/mk/spec/sel4_x86_32.mk
@@ -2,7 +2,7 @@
 # Specifics for the seL4 kernel API x86 32 bit
 #
 
-SPECS += sel4 x86_32 ps2 vesa framebuffer
+SPECS += sel4 x86_32 ps2 vesa framebuffer pci
 
 include $(call select_from_repositories,mk/spec/x86_32.mk)
 include $(call select_from_repositories,mk/spec/sel4.mk)