modified linux-raspberrypi_3.8.13.bbappend to source xenomai and added skeleton for prepare_kernel.sh call