[coreboot] Submit patch to make e/f segment available for SeaBios