Re: [PATCH] add u-boot properties to sama5d3 pit timer