4.11 64-bit Periodic Interval Timer (PIT64B)