RTOS/CC3200-LAUNCHXL: how to use D5 and D6 leds in my project

Part Number:CC3200-LAUNCHXL

Tool/software:TI-RTOS

Hi 

i am writing a tirtos project.

As of now i am using the d7 red led for indicating different states of my device. But i feel the the need to use leds D5 and D6 as well.

Since they are already used for some other purposes .......as written in board.h

#define Board_LED0 CC3200_LAUNCHXL_LED_D7
/*
* CC3200_LAUNCHXL_LED_D5 and CC3200_LAUNCHXL_LED_D6 are shared with the I2C
* and PWM peripherals. In order for those examples to work, these LEDs are
* taken out of gpioPinCOnfig[]
*/
#define Board_LED1 CC3200_LAUNCHXL_LED_D7
#define Board_LED2 CC3200_LAUNCHXL_LED_D7

i would like to know what is the correct way to start using these leds.( I am not using i2c or pwm in my project. so i can do away with them)

if i edit these #defines and change the pinmux as mentioned in the post(

), would it serve the purpose? i dont want to damage the board, in  any case

Please suggest

Thanks

av