# CONFIG_BRCMSTB_L2_IRQ is not set
