[PATCH] ipmi: clean up versioning of the IPMI driver