[kernel] add yet another framebuffer symbol