core/linux-raspberrypi: use git instead of http