7,8c7,9
< end_pfn_map = 32768
< kernel direct mapping tables up to 8000000 @ 8000-a000
---
> BIOS-e820: 00000000ffff0000 - 0000000100000000 (reserved)
> end_pfn_map = 1048576
> kernel direct mapping tables up to 100000000 @ 8000-d000
25,26c26,27
< Allocating PCI resources starting at 10000000 (gap: 8000000:f8000000)
< Built 1 zonelists. Total pages: 30613
---
> Allocating PCI resources starting at 10000000 (gap: 8000000:f7ff0000)
> Built 1 zonelists. Total pages: 30612
36c37
< Memory: 122188k/131072k available (3742k kernel code, 8460k reserved, 1874k data, 232k init)
---
> Memory: 122184k/131072k available (3742k kernel code, 8464k reserved, 1874k data, 232k init)