Fix audio channel allocation in HDMI
Backport of Rudi's work :
https://github.com/OpenBricks/openbricks/commit/5823bc2b9cc95fb5b7aedc4dc6bc6cd5f90f03f2