Provide correct value for QEMU_CFG_IRQ0_OVERRIDE