Nein, vertan habe ich mich nicht. Ich weiß nicht, wie lange das so ist, aber eine ähnliche Debian Installation auf einem Intel-System, die ich vor ein paar Tagen mit dem USB-Stick gemacht habe, lief korrekt. Ich habe extra Xubuntu 19.10 installiert, dort war danach kein mach_Kernel Eintrag unter /boot/efi da.
Mich wundert es, dass manche efi Einträge beim AMD-System unter efibootmgr so verändert sind. Boot0009 war ja vorher auch nicht da, so vertun kann sich das System doch nicht, dass es mir nach der Xubuntu Installation einen zweiten grubx64 zu Debian zuordnet und ein mach_Kernel Eintrag unter /boot/efi auftaucht.
Mit OSX habe ich nichts zu tun. Ein mach_Kernel Eintrag sollte doch nicht bei einer Debian(amd64) Installation auf einem AMD-System vorhanden sein oder?
Ich werde das so machen, wie von dir vorgeschlagen. Ich finde das dennoch eigenartig, vielleicht hat noch jemand einen Erklärung dafür.
***Edit***
So sah /boot/efi/EFI aus:
Code: Alles auswählen
/boot/efi/EFI# ls -la
insgesamt 20
drwx------ 5 root root 4096 Nov 26 14:20 .
drwx------ 4 root root 4096 Jan 1 1970 ..
drwx------ 2 root root 4096 Nov 26 12:52 BOOT
drwx------ 2 root root 4096 Okt 13 12:10 debian
drwx------ 2 root root 4096 Nov 26 14:20 ubuntu
Code: Alles auswählen
/boot/efi# ls -la
insgesamt 20
drwx------ 4 root root 4096 Jan 1 1970 .
drwxr-xr-x 5 root root 4096 Nov 30 12:09 ..
drwx------ 3 root root 4096 Nov 30 12:27 EFI
-rwx------ 1 root root 34 Jul 25 23:04 mach_kernel
drwx------ 3 root root 4096 Okt 23 21:14 System
Ich habe mir System und mach_Kernel mit nano angeschaut. Scheint als ob Fedora 31 dort etwas hinterlassen hat.
Code: Alles auswählen
GNU nano 4.5 SystemVersion.plist
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>ProductBuildVersion</key>
<string></string>
<key>ProductName</key>
<string>Linux</string>
<key>ProductVersion</key>
<string>Fedora 31</string>
</dict>
</plist>
Ich hatte Fedora 31 installiert und gelöscht, weil es massive Probleme zusammen mit dem System gab. Ich war der Meinung die SSD komplett gelöscht zu haben, war wohl doch nicht der Fall.