Re: [SeaBIOS] [PATCH 0/7] seabios: 1.11.2 update