Now map VGA framebuffer in paging_init()