# CONFIG_HAVE_SOFTIRQ_ON_OWN_STACK is not set
