nios2: fix style in board.c.