Fix compile warning on lib_ppc/board.c