Buenas,
La PS4 tiene mas salidas aparte de la mini Jack básica. Si utilizases la digital podrías conectar vía RCA y vía óptico a un FiiO K5PRO.
Así tendrías los dos equipos conectados y mediante el selector de fuentes puedes elegir que sale por los cascos.
Supongo que en el apartado de amplificador de auriculares habrá más soluciones.
Ya nos contaras.
un saludo,