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