Fix broken HDMI audio output
Linux 3.0.81 update
Version 1.5.8 & Linaro optimizations