Mac users interested in 64-bit kernel startup mode selector generally download:
Check the status and configuration of your Mac device by running a scan with the application showing the particulars of the systems such as whether you have a 32-bit or a 64-bit processor, what kind of EFI, etc. It also displays how the MacOS X Kernel is set to boot.
