I can see why you might have gotten stuck. Currently there's no driver-level interface to the VGX LEDs in our CE builds. Such driver is on our short list.
For now you'll need to drive PXA GPIOs 19, 20 and 21 directly. Let us know if you need details about how to do that.