[coreboot] NULL pointer deref in soc/intel/skylake/irq.c