There is a bit more stuff you have to do in the RasPi setup.
Alas that machine is now offline and I can't boot it. Sorry.
This may help - I hope:
Last post.
It seems that you need these 4 lines:
hdmi_force_hotplug=1
hdmi_force_edid_audio = 1
hdmi_group=2
hdmi_mode=39
I was recently (as in very) messing around and the LEDs stopped working again.
This is/was because I use VNC and had changed the resolution of the screen to better fit the monitor.
When I looked at the/boot/config.txt
thehdmi_mode
andhdmi_group
were set to something else.
Putting them to what is shown, the LED's started to work again.