The correct solution to the problem is to ensure the platform provider configures the Mali driver binaries with a suitable memory range which will cover the present Linux kernel's framebuffer memory layout, and update the driver binaries if the kernel memory map changes. What is happening in your case is that the platform provider has somehow got the supplied Mali driver binaries out of sync with their supplied Linux kernel.