discover/platform-powerpc: Set IPMI OS boot sensor
[petitboot] / COPYING
2007-04-05 Jeremy KerrAdd GPL