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