Fixed TDC bit mask.

Was 0x0080000 (a typo), is now 0x00800000. We believe this was not causing problems because the range of TDC we used was always <~25us (<<524us which is 0x0080000). But better to do things properly.