Re: [U-Boot-Users] get_timer on ppc and bugs related to calling it (fsl_i2c)