BIOS de HP Z220
Arrancar Win10 desde disco USB
Arrancar pulsando [F9] y seleccionar "Mass Storage Device"
Restaurar arranque EFI del disco con Linux después de haber usado Win10
Ejecutar "Run UEFI Application"
Seleccionar el primer "HDD: Unknown"
Seleccionar la carpeta "EFI"
Seleccionar luego la carpeta "debian"
Y finalmente seleccionar el fichero "fbx64.efi" que restaura el arranque de Linux