Use the term port_id for HDMI port index across definitions

Renamed various terms like, port, port_num to port_id, and
added a description that the id starts from 1.

Change-Id: I9229edff7fd75dd15e672e309369e237ca339238
1 file changed