No need for pulse, just configure the default alsa device to be hdmi, or wherever you want audio to go.
If I have helped you or increased your knowledge, click the 'thumbs up' button to give thanks :) (People with less than 20 posts won't see the "thumbs up" button.)