1. f3bcd42 update seabios and vgabios binaries by Gerd Hoffmann ยท 10 years ago