CONFIG_HANDLE_DOMAIN_IRQ=y
