Use 3.8.13xenomai-bone20 kernel for machinekit image