You can force the raspberry pi to use a specific resolution for HDMI, you do this by plugging you sd card into a computer and modifying the /boot/config.txt file.
specifically you want to uncomment the following lines:
framebuffer_width=1920 #set the resolution of the TVframebuffer_height=1080 #set the resolution of the TV and change the two values to the appropriate resolution for your TV