Mapping framebuffer into high memory