Bonjour
avec la dernière mouture de Debian, aucun problème. J’ai installé la version amd64, qui m’a demandé si je souhaitais installer en UEFI ou utiliser grub. N’ayant rrien d’autre sur le PC, j’ai choisi UEFI. Tout marche nickel, en 64B… Et j’ai toujours 8 processuers qui tourne 
Ça m’étonnerait car GRUB est aussi installé en mode UEFI.