But anyway I kind of doubt it's really a good idea having two kernels installed using the same kernel modules directory, i.e. with a massive number of file conflicts. Since both use /lib/modules/5.11.4-1-default ...