Build rust kernel and include it as a module