Using the ATSAMD51 to measure a fast 1usec pulse width