Address Mappings

Peripherals (at physical address 0x20000000 on) are mapped into
the kernel virtual address space starting at address 0xF2000000.
Thus a peripheral advertise d here at bus address 0x7Ennnnnn is
available in the ARM kenel at virtual address 0xF2nnnnnn.