[coreboot-gerrit] [XS] Change in coreboot[main]: [RFC] arch/x86/pirq_routing.c: Skip routing for NULL devices