[SeaBIOS] [PATCH 2/5] ati-vga: fix ati_read()