Re: [coreboot] 0xE0000/0xF0000 segment issue