Re: [SeaBIOS] Coverity detected issues in SeaBIOS