Michał Żygowski has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/39869 )
Change subject: payloads/seabios: Add Hardware IRQ Kconfig ......................................................................
Patch Set 3:
Patch Set 3: Code-Review-1
Unfortunately it breaks my Braswell boards. They are running fine with SeaBIOS on current master coreboot. They do not need disabling Hardware IRQ. Please make this selection only for mainboards that affect you.
I know it is not hard select, however default configuration should work for all boards for given microarchitecture (which for Braswell is not true). If you think this is not the right approach then please at least set the HARDWARE_IRQ to default y for Protectli FW2B and FW4B