You can grab a kernel from: https://build.opensuse.org/project/monitor/home:jirislaby:bnc1045105 after it gets build.