¿La ISO de Debian modificada es de 32 bits?, ¿es una versión antigua?.
En teoría, las ISOs modernas deben soportar UEFI y CMS, la diferencia es el método de grabación de la ISO.
Se puede convertir una ISO Legacy en una ISO UEFI:
https://blog.getreu.net/projects/legacy-to-uefi-boot/...