RE: board_init.c file not compiled