os: Enable GPS on adafruithat only (#591)

The GPS hat is not tested and probably incompatible with PlanktoScope
hat.

Author: sonnyp

documentation/docs/reference/hardware/changelog.md

@@ -12,9 +12,7 @@ Replaces [Raspberry Pi 4](https://www.raspberrypi.com/products/raspberry-pi-4-mo
 
 Increased RAM from 4 to 8 GB.
 
-Includes a [Real Time Clock (RTC)](https://www.raspberrypi.com/documentation/computers/raspberry-pi.html#real-time-clock-rtc)
-
-Includes [RTC rechargeable battery](https://www.raspberrypi.com/products/rtc-battery/)
+Includes a [Real Time Clock (RTC)](https://www.raspberrypi.com/documentation/computers/raspberry-pi.html#real-time-clock-rtc) with [rechargeable battery](https://www.raspberrypi.com/products/rtc-battery/).
 
 Includes [Raspberry Pi Active Cooler](https://www.raspberrypi.com/products/active-cooler/)
 

software/distro/setup/planktoscope-app-env/setup.sh

@@ -66,12 +66,14 @@ else
   panic "$description"
 fi
 
-description="set up GPS and clock driver"
-report_starting "$description"
-if "$build_scripts_root/gps/install.sh"; then
-  report_finished "$description"
-else
-  panic "$description"
+if [ "$hardware_type" = "adafruithat" ]; then
+  description="set up GPS and clock driver"
+  report_starting "$description"
+  if "$build_scripts_root/gps/install.sh"; then
+    report_finished "$description"
+  else
+    panic "$description"
+  fi
 fi
 
 description="enable CPU overclocking"