[New: openFATE 311446] Split Kernel rpms from Tumbleweed repo