[SeaBIOS] [PATCH 01/13] geodevga: move framebuffer setup from dc_setup(..) to geodevga_init(..)