Use grub entries to find Linux kernels