[SeaBIOS] [PATCH 05/15] Add framebuffer size detection