Compil a 32bits kernel