cp ubuntu/grubx64.efi Microsoft/Boot/bootmgfw.efi
ou
cp ubuntu/grubx64.efi Boot/Bootx64.efi
Attention cette modif saute à chaque mise à jour de grub. Pour que ça persiste, ajoutez les lignes suivantes à /etc/grub.d/40_custom:
# Correction pour le BIOS HP qui a les chemins des fichiers EFI codés en dur:
cp /boot/efi/EFI/ubuntu/grubx64.efi /boot/efi/EFI/Microsoft/Boot/bootmgfw.efi 1>/dev/null 2>&1
cp /boot/efi/EFI/ubuntu/grubx64.efi /boot/efi/EFI/BOOT/bootx64.efi 1>/dev/null 2>&1