Armbian kernels all statically build and bind PPS support but most do not build any PPS client drivers. This will add both GPIO and Serial (LDISC) clients as LKMs, suitable for many SBC-based projects and implementations.