[fedora-arm] Re: Change in kernel PPS GPIO handling?