The AO-40 GPS Receiver CPU Board