autoselect kernel in [iso/sys]linux