Fix some compile errors in board_bravo.c