build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/22632 )
Change subject: payloads/SeaBIOS: Add NO_HARDWARE_IRQ option ......................................................................
Patch Set 3: Verified+1
Build Successful
https://qa.coreboot.org/job/coreboot-checkpatch/24457/ : SUCCESS
https://qa.coreboot.org/job/coreboot-gerrit/70230/ : SUCCESS