Fixes #68: Raspberry pi should always be correctly detected

Unless of course they no longer use an arm device.