No i problem rozwiązany. Trzeba było najpierw za pomocą fastboota zainstalować inne recovery z tej strony, z paczki ze stockowym kernelem (cokolwiek to znaczy w praktyce, niestety na temat wiem tylko tyle, że z angielskiego oznacza to "jądro"), a potem poszła już instalacja za pomocą adb sideload najnowszej dostępnej wersji CM z oficjalnej strony. Temat chyba do zamknięcia.
P.S. Jako ciekawostka dodam, że instalacja Cyanogenmod'a nie rozwiązała w moim przypadku problemu braku dźwięku z głośnika przy wykonywaniu połączeń oraz problemu z wykrywaniem i prawidłowym działaniem słuchawek. Musi być to niestety jakiś problem natury mechanicznej.. :/