Fix compile error - board-ariesve.c