[PATCH v2 7/8] of/documentation: Update hpd gpio property for exynos_hdmi