Symbol: RESERVED_IRQ_PER_MBIGEN_CHIP