Switch to Nutella kernel (1/2)