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-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)