How do I enable a tripzone pin for the epwm driver? I am using the TI driver for epwm in sysconfig. If I try to reserve it via the sysconfig peripherals section it says that the TI Driver has that pin ...