A script and an example to set up the correct RPi kernel git branch for cross-compilation development.