Re: [SeaBIOS] [PATCH] Fix compilation errors/warnings