[OS-BUILD PATCH 4/4] RHMAINTAINERS: Add ipmi files