[SeaBIOS] [PATCH 08/13] geodevga: get rid of dc_setup()