Bueno, pues SteamOS ahora funciona en el mini PC con gráfica AMD sólo haciendo un par de chapucillas. Así que experimentaré más con SteamOS. (Me dio bastantes problemas en un PC con Nvidia que ya me había dado problemas con Linux.)

Lamentablemente el soporte reciente de SteamOS para HDMI-CEC no parece que haga mucho de momento.

(Es un mini PC de 285€ sin NVMe, con lo que hay que trastear el instalador de Steam para que instale a un disco normal.)