A quick guide to getting the NanoPI Neo 3 working as an awesomely accurate time server with PPS and GPS