Before:
I/O memory addresses:
    0x0-0xffffffff (root0)
Interrupts:
    0x0 (pmu0)
    0x1 (generic_timer0)
    0x2 (generic_timer0)
    0x3 (generic_timer0)
    0x4 (generic_timer0)
    0x5 (root0)
    0x6 (mbox0)
    0x7 (gpio0)
    0x8 (gpio0)
    0x9 (uart0)
    0xa-0x14 (root0)
    0x15 (bcm283x_dwcotg0)
    0x16-0x1a (root0)
    0x1b (bcm_dma0)
    0x1c (bcm_dma0)
    0x1d-0x1e (root0)
    0x1f (bcm_dma0)
    0x20 (bcm_dma0)
    0x21 (bcm_dma0)
    0x22 (bcm_dma0)
    0x23-0x26 (root0)
    0x27 (intc0)
    0x28-0x2f (root0)
    0x30 (sdhci_bcm0)
    0x31-0x35 (root0)
    0x36 (vchiq0)
    0x37-0xffffffffffffffff (root0)
Device Memory:
    0x0-0x3f006fff (root0)
    0x3f007000-0x3f007eff (bcm_dma0)
    0x3f007f00-0x3f00b1ff (root0)
    0x3f00b200-0x3f00b3ff (intc0)
    0x3f00b400-0x3f00b83f (root0)
    0x3f00b840-0x3f00b87b (vchiq0)
    0x3f00b87c-0x3f00b87f (root0)
    0x3f00b880-0x3f00b8bf (mbox0)
    0x3f00b8c0-0x3f0fffff (root0)
    0x3f100000-0x3f100113 (bcmwd0)
    0x3f100114-0x3f1fffff (root0)
    0x3f200000-0x3f2000b3 (gpio0)
    0x3f2000b4-0x3f200fff (root0)
    0x3f201000-0x3f2011ff (uart0)
    0x3f201200-0x3f2fffff (root0)
    0x3f300000-0x3f3000ff (sdhci_bcm0)
    0x3f300100-0x3f97ffff (root0)
    0x3f980000-0x3f98ffff (bcm283x_dwcotg0)
    0x3f990000-0x3fffffff (root0)
    0x40000000-0x400000ff (lintc0)
    0x40000100-0xffffffff (root0)
GPIO Interrupts:
    0x0 (root0)



After:
I/O memory addresses:
    0x0-0xfff (root0)
    0x1000-0x7efffff (ram0)
    0x7f00000-0x7f09fff (root0)
    0x7f0a000-0x33dfffff (ram0)
    0x33e00000-0x34c4efff (ram0)
    0x34c4f000-0x39f55fff (ram0)
    0x39f56000-0x39f59fff (root0)
    0x39f5a000-0x39f5afff (ram0)
    0x39f5b000-0x39f5bfff (root0)
    0x39f5c000-0x39f5dfff (ram0)
    0x39f5e000-0x39f61fff (root0)
    0x39f62000-0x39f62fff (ram0)
    0x39f63000-0x39f67fff (root0)
    0x39f68000-0x39f68fff (ram0)
    0x39f69000-0x39f69fff (root0)
    0x39f6a000-0x39f6bfff (ram0)
    0x39f6c000-0x39f6cfff (root0)
    0x39f6d000-0x39f6dfff (ram0)
    0x39f6e000-0x39f6ffff (root0)
    0x39f70000-0x39f70fff (ram0)
    0x39f71000-0x39f71fff (root0)
    0x39f72000-0x3b37cfff (ram0)
    0x3b37d000-0x3f006fff (root0)
    0x3f007000-0x3f007eff (bcm_dma0)
    0x3f007f00-0x3f00b1ff (root0)
    0x3f00b200-0x3f00b3ff (intc0)
    0x3f00b400-0x3f00b83f (root0)
    0x3f00b840-0x3f00b87b (vchiq0)
    0x3f00b87c-0x3f00b87f (root0)
    0x3f00b880-0x3f00b8bf (mbox0)
    0x3f00b8c0-0x3f0fffff (root0)
    0x3f100000-0x3f100113 (bcmwd0)
    0x3f100114-0x3f1fffff (root0)
    0x3f200000-0x3f2000b3 (gpio0)
    0x3f2000b4-0x3f200fff (root0)
    0x3f201000-0x3f2011ff (uart0)
    0x3f201200-0x3f2fffff (root0)
    0x3f300000-0x3f3000ff (sdhci_bcm0)
    0x3f300100-0x3f97ffff (root0)
    0x3f980000-0x3f98ffff (bcm283x_dwcotg0)
    0x3f990000-0x3fffffff (root0)
    0x40000000-0x400000ff (lintc0)
    0x40000100-0xffffffff (root0)
Interrupts:
    0x0 (pmu0)
    0x1 (generic_timer0)
    0x2 (generic_timer0)
    0x3 (generic_timer0)
    0x4 (generic_timer0)
    0x5 (root0)
    0x6 (mbox0)
    0x7 (gpio0)
    0x8 (gpio0)
    0x9 (uart0)
    0xa-0x14 (root0)
    0x15 (bcm283x_dwcotg0)
    0x16-0x1a (root0)
    0x1b (bcm_dma0)
    0x1c (bcm_dma0)
    0x1d-0x1e (root0)
    0x1f (bcm_dma0)
    0x20 (bcm_dma0)
    0x21 (bcm_dma0)
    0x22 (bcm_dma0)
    0x23-0x26 (root0)
    0x27 (intc0)
    0x28-0x2f (root0)
    0x30 (sdhci_bcm0)
    0x31-0x35 (root0)
    0x36 (vchiq0)
    0x37-0xffffffffffffffff (root0)
GPIO Interrupts:
    0x0 (root0)