diff --git a/src/soc/amd/picasso/Kconfig b/src/soc/amd/picasso/Kconfig
index dd5731df05..9630ad3d46 100644
--- a/src/soc/amd/picasso/Kconfig
+++ b/src/soc/amd/picasso/Kconfig
@@ -19,6 +19,7 @@ config CPU_SPECIFIC_OPTIONS
 	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