Ah oui HP, gigantesque fouteur de merde pas foutu de respecter les normes.
J'avais un PC HP au boulot dont les chemins EFI étaient codés en dur pour Windows. Hahaha la bonne blague après avoir installé Linux, ça bootait pas (https://sebsauvage.net/links/?zKvuFQ).
Jamais je n'achèterai cette marque, c'est de la merde, et pas que pour les imprimantes.