[SeaBIOS] Re: an issue with win10 boot and different compiler versions