How are the D7, D8 and D9 LEDs on the AGX board controlled by an application? I've tried WriteDebugLED() but I don't notice it doing anything with any of these LEDs. I've looked through all the documentation that I think is relevant but without success.