# CONFIG_GENERIC_IRQ_MIGRATION is not set
