Make build-kernel.sh script to point to RPi's kernel git.