Re: [SeaBIOS] [PATCH] Fix comment typo