[coreboot] Re: Fwd: Issues with ACPI _CRS and E820 memory map