F16: grub2 efi version missing?