Re: [OpenBIOS] [PATCH] Add revision number to banner