Cet après-midi nous avons calé devant une configuration uefi sur un HP
(bonne installation, pas possible de booter par défaut sur linux)
je trouve ca sur le net:
1. Go to boot configuration
2. Add a "Customized Boot"
3. Point "Customized Boot" to \EFI\ubuntu\grubx64.efi
4. Change UEFI boot order with "Customized Boot" on top.
il faudrait donc faire ça, je crois avoir vu cette option dans le bios,
jusqu'à présent l'option, sur les bios que je connais, me demandait de
tout faire "à la main", pas de juste pointer vers une entrée...
à voir!
jdd