lib: Move ipmi_bootdev enum to types.h
[petitboot] / discover / dt.c
2015-04-21 Joel Stanleydiscover/platform-powerpc: Set IPMI OS boot sensor