Windows Virtual PC tiene una versión x64, pero no puede funcionar un OS huésped x64.