[linux-yocto] how to enable 2nd HDMI port on Intel Atom (bay-trail) E3800 SoC?

[Gerard Bucas]

Hi everyone

We have a new Intel Atom E3800 (Bay Trail) based board with 2 x HDMI ports.
We are using the edk2 firmware (used the minnowBoard MAX firmware source as
basis) but we can't seem to get the HDMI-2 port to be recognized by either
the firmware or our linux kernel (built with latest yocto project - kernel
version is 3.19.5).

Can anyone give me some pointers as to what we need in either/both firmware
and/or linux kernel to get the 2nd HDMI port to be enumerated/recognized?

Thanks!

Gerard Bucas