And if anyone has a 40F with SPEED LEDs working fine, please let me know the FortiOS version and hard-swich configuration involving those LAN ports. I'm assuming by default all ports have "set speed auto", which I didn't change.
I ran "diag hard test led nic-led" based on TAC's request. None of those LAN and even WAN LEDs turned on either green or amber. But the fact is LAN LINK LEDs and WAN LINK/SPEED LEDs are working fine. So I'm now not even sure if HQIP software is working as it should.