[SeaBIOS] [PATCH 2/2] update seabios to release 1.7.2.2