Resposta curta: o Ubuntu-64 funcionará.
Resposta mais longa: "AMD64" aplica-se tanto à AMD quanto à Intel. (A Intel tentou um processador anterior de 64 bits chamado Itanium, mas não pegou, então adotou a abordagem da AMD.)
O Unix é um ancestral comum do Mac OS X e Linux. O Mac OS X não é Linux - eles são primos.
EDITAR : Aparentemente você tem um dos primeiros Macs da Intel, que tinha "Core Solo" e "Core Duo" - não "Core 2 Solo" e "Core 2 Duo" - processadores. Estes são processadores de 32 bits. O VirtualBox permite convidados de 64 bits em hosts que executam um SO de 32 bits, mas ainda requer um processador de 64 bits ( com suporte a virtualização de hardware ). Então a resposta curta se torna: nenhuma.
Isso também significa que este Mac não pode executar o OS X Lion (um requisito da versão beta atual que parece persistir em liberar). Para confundir as coisas ainda mais, depois de "Core 2", a Intel deixou cair o "2" e usou "i" -algo:
- Core Solo
- Core Duo
- Core 2 Solo
- Core 2 Duo
- Core i3
- Core i5
- Core i7
Todos são "Intel Core". Você tem um dos dois primeiros. O processador está listado em Sobre este Mac no menu Apple.
EDIT TWO : Talvez o código de detecção de CPU do VirtualBox identifique incorretamente o Sandy Bridge (2ª geração) i7. Além disso, os novos MacBook Pros são inicializados em um kernel de 64 bits - os mais antigos são inicializados em um kernel de 32 bits (apesar de terem CPUs de 64 bits e, de qualquer forma, permitirem aplicativos de 64 bits). Isso causou outros problemas com o VirtualBox 4.0.x que parecem ser contornados por inicializando no kernel de 32 bits . Você pode tentar isso.