discover: Allow device_handler_boot with no option
[petitboot] / lib / array-size /
2013-09-24 Jeremy Kerrlib: Add array-size header