Name change: mk -> bbv. Support for framebuffer in kernel configuration added.