@mitu The "full" config would have been that stock one, with that other HDMI bit added. The pi is on the stock config now. If you wanted something different let me know, maybe I misunderstood you.
Thanks for those ideas. I'll see when I can get around to them.