firmware: allow recovery mode hdmi options to be overridden
firmware: another fix for pcmdec temp buffer