firmware: Fix for out of sync hdmi audio after pause
firmware: Improved locking to hdmi display framerate