[SeaBIOS] [PATCH 2/4] add VGA_EDID staff