I had a similar problem in my diy system that is powered up by a mains power switch, causing the RPI not detecting the HDMI device on startup due to that it does not present itself in time during boot. The first work-around was to power the hdmi device before the RPI.
The hdmi_force_hotplug=1 setting solved it and removed the issue!