Update makefile to detect Raspberry Pi / Raspbian

Previous method returned hostname, which could easily be different from "raspberrypi" if changed by the user, suggested change relies on looking in /etc/os-release for ID=raspbian which is hostname agnostic.