Hello! I was testing and debugging the i2c bus when i realized that i2c_init is called 2 times, in common/devices.c and in lib_ppc/board.c. Why? Is there any reasonable explanation or i misconfigured something? Thanks in advance, Filipe.