This would allow to make such code simpler, and to avoid reassigning framebuffer address (as in here and there) when booting an OS.
Currently video framebuffer address is hardcoded with FB_START value, and does not depend on available RAM. The check for available RAM is performed after video initialization.