Fix compiler warning in lib_ppc/board.c