6a7
> BIOS-e820: 0000000008000000 - 00000000c0000000 (reserved)
25c26
< Allocating PCI resources starting at 10000000 (gap: 8000000:f7ff0000)
---
> Allocating PCI resources starting at c4000000 (gap: c0000000:3fff0000)
27c28
< Built 1 zonelists. Total pages: 30615
---
> Built 1 zonelists. Total pages: 30613
38c39
< Memory: 122004k/131072k available (3699k kernel code, 8516k reserved, 1767k data, 248k init)
---
> Memory: 121996k/131072k available (3699k kernel code, 8524k reserved, 1767k data, 248k init)
61a63
> PCI->APIC IRQ transform: 0000:00:04.0[A] -> IRQ 16