discover: Allow device_handler_boot with no option
[petitboot] / COPYING
2007-04-05 Jeremy KerrAdd GPL