[SeaBIOS] master is broken