come avviare il firmware a 64 bit su mac