Fix RIT Timer on lpc1315

strange bug with uint64_t