[coreboot] Issues with ACPI _CRS and E820 memory map