A set of scripts for streamlining the compilation of BeagleBone's Linux Kernel with Xenomai