Der Programmierer Markus Winter aus Heidelberg hat sich gefragt, warum Apple mit seinem neuen Betriebssystem Mac OS X zwar den 64 bit-Modus vollständig unterstützt, aber trotzdem den Kernel des Systems standardmäßig im 32-bit Modus startet. Statt dem EFI die Auswahl zu überlassen, kann man den "Startup Mode Selector" einsetzen, der beim Start des Rechners dem Benutzer die Auswahl überlässt, den Kernel des Rechners im 64-bit oder im 32-bit Modus hochzufahren.
