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