Update the deployment, do not generate kernel
deployment when using DEOS