Fix up LED colors for each product.

Different products assign different color LEDs to the two available
LED drivers (P1_0, P1_1). Make the LED color pin assignments
per-product (in ao_pins.h), then deal with not always having a green LED.

Signed-off-by: Keith Packard <keithp@keithp.com>