[coreboot] How coreboot passes e820-style system memory map to the OS?