Force/check 44.1 kHz sample rate output on TK1?

According to my speakers, my output sound is being upsampled to 48 kHz from 44.1. This could be because of my HDTV being in between the TK1 and my speakers, via HDMI. How can I determine if the Jetson is the culprit? Can I force 44.1?