Fix RaspberryPi OSTYPE = linux-gnueabihf match in setup.sh.