autodetection for all available kernels in syslinux for arch