So following the same exact steps as you I get the same prompt for "Executing the same binary (compiled for DSI)".
On changing ewconfig.h the display interface to HDMI_0:
Using drm device node '/dev/dri/card0'!
Available display interface(s):
HDMI_0 (selected)
HDMI_1
Display interface 'HDMI_0' detected.
After this prompt comes up, it prints Available Output Modes for the different resolutions and pixel clocks available, followed by
No suitable display mode available for interface 'HDMI_0'!
(Please note, that EW_DISPLAY_USE_PREFERRED_Mode is set!)
Initialize Display... [failed]
On changing ewconfig.h the display interface to HDMI_1:
Using drm device node '/dev/dri/card0'!
Available display interface(s):
HDMI_0
HDMI_1 (selected)
GfxSystemInit: DRM connector not connected
Initialize Display... [failed]
I do not have an alternative HDMI display to test.