baujc authored Apr 09, 2019 and Adam Wujek committed Apr 10, 2019

Now, the control of the timing mode and the PPS generation is two
separate things that can be controlled independently by PPSi.