There have been media players around with chipsets far less powerful and capable of handling these requirements (and the hd51 is typical of the arm receivers and you don‘t see endless protests about not being able to play apart from some strange audio codecs), so its likely to be the settings on the hd51/TV that need sorting out.