Re: [coreboot] #82: Fix the memory map in coreboot v3