[coreboot-gerrit] New patch to review for coreboot: 4c64378 SeaBIOS: have coreboot pass the choice to run optionroms in parallel