[coreboot-gerrit] Change in coreboot[master]: payloads/external/Makefile.inc: Pass hardware IRQ option to SeaBIOS M...