PPS time synchronization for GPS input on Ardupilot

Can somebody suggest a way to setup GPIO PPS sync of time with GPS connected via CAN / Serial?

Firmware seem to have this implemented:
here

However from all I found it looks like firmware needs to be be compiled with option of HAL_GPIO_PPS set to proper GPIO input to make this work, is that right?