[Bug 1208944] New: Kernel 6.2.0-1-default does not boot on tumbleweed