The std-def kernel is already set as the default in use/kernel for
the architectures where it is available.