boards/platforms/nexys_video: rename hpa to hdp_en on nexy_video hdmi_in port