PPS output on the Reach

Hello!
I’m trying to get PPS events but there is no interrupts at GPIO128 pin. At the same time I see interrupts at GPIO13 with 1000ms interval. Maybe GPIO13 is routed to uBlox timepulse?