[OpenBIOS] [PATCH] Add revision number to banner