MyXBMC Mini (Intel) und CEC

Das geht nicht so wie du dir das vorstellst...
HDMI 1.4 heisst nicht zwingend CEC und bei PCs ist das eh nicht so easy...
Wenn du CEC benötigst, dann kauf dir ein PE CEC Adapter

Der broadcom SoC vom RPI stellt die CEC Funktion zu Verfügung. Normale Grafikkarten tun das in der Regel nicht oder es gibt einfach keine Treiber. (z.B. auch für die allwinner socs, die könnes es per Spez. nur keiner weiss wie)
Wie von max schon gesagt, gibt Adapter von Pulse-Eight, entweder extern per USB oder intern per custom solution header.