[Bug 1175888] missing kernel updates for kernel-rt and kernel-default-base