[SeaBIOS] [PATCH 1/5] update seabios to latest master [feb 9th]