discover/device-handler: Ignore options without kernel
[petitboot] / COPYING
2007-04-05 Jeremy KerrAdd GPL