Enable framebuffer in OpenRisc config

Make sure the framebuffer is enabled in the default OpenRisc config