[OpenBIOS] [PATCH 12/20] video_common.c: remove the video_get_res() function