@tong-man Pour que le système puisse reconnaître/adresser le DAC de ton ampli, il lui faut un driver le permettant (à l'instar des cartes son USB utilisables sur le Pi). Ce qui, me semble-t-il, n'est pas le cas de Recalbox en l'état actuel des choses. Le plus simple est d'utiliser un extracteur HDMI -> HDMI + audio optique SPDIF comme conseillé plus haut par @Substring et d'attaquer ton ampli via l'entrée optique de ce dernier. Le son restera numérique jusqu'à l'ampli et c'est bien le DAC de ton ampli qui se chargera de la conversion en analogue avant amplification et sortie sur les HPs.
Un exemple d'extracteur ici : http://www.ebay.fr/itm/like/262564297036?lpid=97&chn=ps qui peut facilement être alimenté en +5v par le pi avec un câble comme celui-ci : https://www.amazon.fr/gp/product/B009JXJITS/ref=oh_aui_detailpage_o05_s01?ie=UTF8&psc=1