/* Enables or disables the RGB LED power supply line.  */
void BOARD_rgbledPowerEnable(bool enable)
/* Enables or disables the RGB LED power supply line.  */
void BOARD_rgbledPowerEnable(bool enable)
{
   BOARD_picRegBitsSet( BOARD_PIC_REG_LED_CTRL, enable, BOARD_PIC_REG_LED_CTRL_PWR_EN );
   return;
}