[coreboot] 0xE0000/0xF0000 segment issue