Sim, os sistemas operacionais de 64 bits são compatíveis com PCs baseados em ACPI x86. ACPI (Advanced Configuration and Power Interface) é um padrão de gerenciamento de energia que permite que o sistema operacional se comunique com o hardware para gerenciar o uso de energia. É compatível com a maioria dos PCs modernos baseados em x86, incluindo aqueles que usam sistemas operacionais de 64 bits.