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