Ich habe mich da doch wohl getäuscht. Gerade eben noch mal einen USB-Stick mit 32bit Stretch darauf probiert, der lief! Ist schon komisch, andere liefen aber nicht, siehe RedoBackup mit 32bit. Etwas anderes als nur MBR-Varianten habe ich auch nicht. Im Uefi/Bios ist ja auch Legacy eingestellt.
Ich meinte aber auch irgendwo gelesen zu haben, dass 32bit-Systeme auf modernen UEFI-Rechnern nicht mehr laufen. Oder war das nur bei aktiviertem Secure-Boot?
Ja und RedoBackup ist doch eigentlich auch nur ein Programm. Gibt es das vielleicht irgendwo als fertiges DEB-Paket, das man einfach auf einen USB-Debian-Stick installiern könnte?