Since my lack of HDMI output may be a hardware issue (the port is not showing up in the DISPLAYS option under the SETTINGS option of the Armbian GUI), is there a specific test or file I should be checking to indicate if the HDMI port is being 'seen' by the underlying system ?