add LED definitions for the RB133/133C boards, thanks to Christophe Lucas