Remove extra-hdmi.conf, as the performance reasons behind it are invalid Add 7.1 profiles Add extra HDMI devices, for a total of 8 Add DTS-encoded profiles (they need dcaenc from git) Signed-off-by: Alexander E. Patrakov <patrakov@gmail.com>