Make kernel compile on Ubuntu