[ros-diffs] [fireball] 27256: - Map framebuffer before jumping to the kernel (so we can do text output in the kernel early boot stage). - Shut down USB controller before jumping to the kernel. - Fix memory map (convert int property), also add a hack there to not touch anything above 0x700000.