We are switching to using the default kernel (latest LTS) in Sisyphus.
Therefore, we change to the appropriate name.