[OpenBIOS] [PATCH v2] Add revision number to banner