Ik zie tot mijn verbazing dat in /boot een Kernel? aanwezig is met een Windows symbool.

Eigenschappen:
Naam: vmlinuz-4.15.0-54-generic
Type: Programma (application/x-ms-dos-executable)
Grootte: 8,2 MB (8249080 byte)
Medium: onbekend
Gebruikt: zo 06 okt 2019 19∶13∶47 CEST
Gewijzigd: ma 17 dec 2018 14∶58∶31 CET
Gemaakt: zo 14 jul 2019 09∶57∶41 CEST
Rechten:
Eigenaar: root
Groep: root
De rechten voor Lezen, Schrijven en Uitvoeren zijn voor Eigenaar, Groep en Anderen Greyed out (grijze weergave) en betreffen respectievelijk:
Eigenaar: Lezen en Schrijven
Groep: Lezen
Anderen: Lezen
Het vreemde is dat deze 'Kernel' dus een Windows executable is.

In /root staat uiteraard ook de echte systeemkern: vmlinuz-4.15.0-54-generic zoals die ook wordt weergeven bij Systeeminformatie (zie onderaan) waarmee ik al suggereer - zeker weten doe ik het dus niet - dat de betreffende 'Windows Kernel' een nep kernel is.
Aanvankelijk schrok ik hiervan, maar het verstand prevaleert al snel: Een Windows executable (.exe) is onder Linux een dood ding, maar mij intrigeert mateloos: Hoe komt dat Windows bestand in /root ?
Systeeminformatie:
Linux Mint 19.1 Cinnamon, Cinnamon versie: 4.0.10, op een Intel© Celeron© 2957U @ 1.40GHz × 2 processor.
Hartelijk dank als iemand opheldering kan verschaffen!