add an entry for IPMI in case db-config doesn't update.
[monitor.git] / bootcd /
2008-07-31 Stephen Soltesz(no commit message)