One more thing. Certain platforms (not sure if any of our currently supported ones) init a framebuffer in u-boot and put a splash screen there. They then pass address of framebuffer to the kernel. So obviously this address range is another one that needs to be avoided.
One more thing. Certain platforms (not sure if any of our currently supported ones) init a framebuffer in u-boot and put a splash screen there. They then pass address of framebuffer to the kernel. So obviously this address range is another one that needs to be avoided.