Re: [SeaBIOS] [PATCH 1/2] docs: Document 'make EXTRAVERSION=xyz'