Branch of kernel, adding nios2 architecture