framebuffer kernel message output break bootmenu (output). So it is not staticly linked into kernel, but as external module (console programs, like which I'm prepairing for recorvery mode, can load this modules). But it is possible to load framebuffer modules at bootmenu exit. And for dots I see on this. As I know dots are running before X server starts.