Das macht nix, du erhälst ja nur Zugang zu den ORF-Programmen über die Sky-Karte, und der Sky-Karte ist es wurscht, ob sie ein SD-Programm oder ein HD-Programm entschlüsselt.
Ich hab die Sky-Karte in der DB8000, und diese entschlüsselt die ORF HD-Sender problemlos.