Re: [SeaBIOS] SeaBIOS "latest updates" broken for few weeks