Linux Kernel for the nios2 architecture