How to debug grub2-efi -> kernel transition issues?