Once big 1159531 is fixed, kernel 5.4.x will be part of Tumbleweed *** This bug has been marked as a duplicate of bug 1159531 ***