Re: [SeaBIOS] git master build failure