Audio input (hdmi)

I use volumio with a raspberry Pi and HiFiberry AMP+. Great for playing web radio and NAS music, Spotify and even music from my iPhone. To complete the set I would like to be able to play TV spins through the AMP+. Via an HDMI feed or external audio input.

TV spins = TV sound!

would love HDMI input from TV etc.