add newer kernels
[automated-distro-installer] / fai / config / scripts / GRUB_EFI /
drwxr-xr-x   ..
-rwxr-xr-x 2148 10-setup