Script that compiles a real-time kernel for Raspberry Pi