Znalazłem banalnie prosty sposób aby WMP 12 x64 był domyślnym odtwarzaczem, należy plik wmplayer.exe (ten x64) przekopiować w inne miejsce na dysku zmienić jego nazwę na np. wmplayer_x64.exe i z powrotem przenieść go, potem wystarczy wskazać jako domyślny program do odtwarzania danego pliku PPM - x64 - otwórz za pomocą - i wskazać wmplayer_x64.exe (dla każdego typu pliku - mp3, avi itp). Banalnie proste i nic nie trzeba zmieniać w rejestrze.