539c539,540
< X86E820Entry(addr = 0, size = '1MB', range_type = 2),
---
> X86E820Entry(addr = 0, size = '639kB', range_type = 1),
> X86E820Entry(addr = 0x9fc00, size = '385kB', range_type = 2),