Kernel for Beaglepilot-A Linux port of ardupilot