Nein, das ist ein Teil des Problemes: das mitgelieferte Windoof startet immer, egal ob UEFI oder Legacy. Aber ich kann die eigebaute eMMC "Festplatte" löschen:
# blkdiscard /dev/mmcblk0
dann kommt zwar trotzdem ein Windows bootloader (wo auch immer der herkommt), aber er kann nichts booten.
Der Bootloader wird anscheinend in /dev/mmcblkboot0 und /dev/mmcblkboot1 gecached, erst nach
# blkdiscard /dev/mmcblk0boot0
# blkdiscard /dev/mmcblk0boot1
ist der Windowsteil endgültig weg.
Ich kann dann zwar eine garantiert EFI-freie Installation von devuan durchführen bzw. ein garantiert EFI-freies Image kopieren, in beiden Fällen bootet die Kiste nicht: es erscheint der Auswahldialog für das Bootdevice, aber keine Auswahl kann Nicht-EFI booten.
Interessanter Weise landen manche EFI bootloader in einem der 2 /dev/mmcblk0boot[01]-Geräten, aber nur der Bootloader, nicht der Inhalt der ganzen EFI-Partition. Erkennbar daran, dass z.B. eine GRUB2 nur die Shell hochbekommt, ein "ls" zeigt dann, dass der Bootloader alleine auf weiter Flur steht, ohne Module, config, etc.