In base a ciò che la pagina di Wikipedia su XNU dice, XNU è basato su Mach. Dato che OS X ha iniziato ad usare il kernel Mach e ora ne utilizza una derivata, probabilmente hanno mantenuto il nome del file del kernel allo stesso modo in modo da non dover modificare il firmware durante gli aggiornamenti o con i nuovi rilasci di macchine.
Il file è chiamato / mach_kernel per ragioni storiche; XNU è, in effetti un ibrido di Mach e uno strato BSD (dimentica Wikipeida, c'è link che sembra più definitivo).
In realtà, questo kernel non è l'immagine esatta che viene caricata - c'è una cache del kernel pre collegata (con tutti i kex necessari) in /System/Library/Caches/com.apple.kext.caches/Startup.
Leggi altre domande sui tag kernel