It is temporary workaround until memory is allocated early in boot sequence. I wonder whether it needs the memory at all. omapfb already has three 800x480 framebuffer planes allocated maybe they can be reused for MBX framebuffer as is. Anyway, if we really need two more 800x480 framebuffers/flipbuffers it can be allocated in omapfb driver directly at kernel boot time(wasting another 1.5MB). Or does the mbx driver need more later? (for textures etc)