diff --git a/buildroot-external/board/pc/generic-x86-64/kernel.config b/buildroot-external/board/pc/generic-x86-64/kernel.config
index 7518b6ae068..ecd02ea9099 100644
--- a/buildroot-external/board/pc/generic-x86-64/kernel.config
+++ b/buildroot-external/board/pc/generic-x86-64/kernel.config
@@ -172,3 +172,6 @@ CONFIG_DLN2_ADC=m
 
 CONFIG_IIO=m
 CONFIG_BMP280=m
+
+# Required for some PCIe devices such as ath12k
+CONFIG_IRQ_REMAP=y
diff --git a/buildroot-external/board/pc/ova/kernel.config b/buildroot-external/board/pc/ova/kernel.config
index b0225957680..5d65596f8c1 100644
--- a/buildroot-external/board/pc/ova/kernel.config
+++ b/buildroot-external/board/pc/ova/kernel.config
@@ -125,3 +125,6 @@ CONFIG_I6300ESB_WDT=y
 
 CONFIG_I2C=y
 CONFIG_I2C_MUX=y
+
+# Required for some PCIe devices such as ath12k
+CONFIG_IRQ_REMAP=y