altos/spiradio: Label LEDs so that the radio code can use them