Je comprenais pas pourquoi ce satané portable HP refusait de booter "gneu gneu y'a pas d'OS" alors qu'Ubuntu s'est installé nickel et que grub est allé mettre ses petits fichiers efi là où il faut (et que ça marche partout ailleurs).

J'ai trouvé.

HP a CODÉ LES CHEMINS DES FICHIERS EFI EN DUR DANS LEUR BIOS.  😡

Et devinez quel chemin ils ont codé ?
"/Microsoft/boot/bootmgfw.efi" BIEN SÛR !

Rrrhhââââ

(Bon un petit "cp" est c'est réglé, mais groumpf quand même.)

Je hais HP.

PS: Pour info:
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