[brcm63xx] register GPIO-connected LEDs for known boards