[PATCH v1 01/14] media: s5p-hdmi: add HPD GPIO to platform data