See https://github.com/coreos/coreos-assembler/pull/2028#issuecomment-774153977 This would make it easier to switch to variant kernels like `kernel-rt`. (Now arguably perhaps we should have an explicit `switch-kernel` command or something too)