Linux kernel for WeIO board