X86: Make E820 report nice, round (and correct) numbers.

diff --git a/configs/common/FSConfig.py b/configs/common/FSConfig.py
index 5b5b9fc3227374e17d5a746fe4574f3b8e098bbd..f1b83a99f3a36c0eebe8dbd61fa8ae88e4a50b9e 100644 (file)
--- a/configs/common/FSConfig.py
+++ b/configs/common/FSConfig.py
@@ -336,7 +336,7 @@ def makeLinuxX86System(mem_mode, mdesc = None):
     # Mark the rest as available
     self.e820_table.entries.append(X86E820Entry(
                 addr = 0x100000,
-                size = '%dB' % (self.physmem.range.second - 0x100000 - 1),
+                size = '%dB' % (self.physmem.range.second - 0x100000 + 1),
                 range_type = 1))
 
     # Command line