more correct e820 ranges for ACPI compatibility