raspberrypi: use http for github kernel repo