ARM: Add an mmu_get_virtual_mapping() call to bootloader

Will be needed to figure out the framebuffer address
once we allocate it properly instead of hardcoding.
ARM: OMAP3: dynamically allocate the framebuffer

It seems to work on overo at least, which has only 128MB by default in QEMU.