Some shell scripts to ease the kernel hacking/rebuilding/installing process