Re: [SeaBIOS] master is broken