[kernel] add another 3.2 framebuffer symbol