Piksi SBP driver: Fix two logging bugs, include 75-class CPU in RTK