ui/ncurses: Display current ipmi bootdev settings
[petitboot] / discover / dt.h
2015-04-21 Joel Stanleydiscover/platform-powerpc: Set IPMI OS boot sensor