ipmi: Add the git repository to the MAINTAINERS file