Ensure gpio-server only builds for ras-pi machines.