Maintainers, Is there any chance of getting PPS_CLIENT_GPIO=m set as default in the shipped RPi3 kernel, so that the pps-gpio module is included? While it's easy to rebuild to include it, it would sure be nice to not have to rebuild after every kernel package update :). Thanks! -Dustin