diff --git a/src/soc/amd/picasso/Kconfig b/src/soc/amd/picasso/Kconfig
index dd5731d..9630ad3 100644
--- a/src/soc/amd/picasso/Kconfig
+++ b/src/soc/amd/picasso/Kconfig
@@ -19,6 +19,7 @@
 	select ACPI_AMD_HARDWARE_SLEEP_VALUES
 	select DRIVERS_I2C_DESIGNWARE
 	select GENERIC_GPIO_LIB
+	select IDT_IN_EVERY_STAGE
 	select IOAPIC
 	select HAVE_EM100_SUPPORT
 	select HAVE_USBDEBUG_OPTIONS