512c512,515
< range_type = 1)
---
> range_type = 1),
> # Reserve the last 16kB of the 32-bit address space for the
> # m5op interface
> X86E820Entry(addr=0xFFFF0000, size='64kB', range_type=2),