Linux kernel for the pconxs