How to get 5.1 audio after a reboot. Feeding HDMI into amp, then into TV. After any reboot go to Settings>Devices>Audio: Digital Output. Change the setting from HDMI to Dolby. At this point you will lose audio. Change back to HDMI and now you will have Dolby on the HDMI connector feeding your amp.