Re: [SeaBIOS] Advise on updating SeaBIOS in stable