kernel: other.mk: add pps-gpio support