[coreboot-gerrit] New patch to review for coreboot: f2392b2 payloads/external/SeaBIOS: Allow setting buffers below 0xC0000