[SeaBIOS] Re: PATCH: properly cast c value in memset