patch bananapi to use GPS PPS output