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