media/s5p-tv: fixing hdmi driver building