Apple ha fatto un po' di casino nel Security Update 2015-002 e il file mach_kernel è diventato visible: ecco la breve guida di Apple Support su come sistemare la cosa. p.s. Non è nulla di grave, ma è bene che quel file resti invisibile. - Nicola D'Agostino

In pratica: lanciate il terminale, digitate "sudo chflags hidden /mach_kernel", date la password di amministratore ed è fatta. - Nicola D'Agostino