Re: [SeaBIOS] Pending patch summary