discover/device-handler: Ignore options without kernel
[petitboot] / INSTALL
2012-02-12 Geoff LevandConvert build to use automake