[openFATE 311446] Split Kernel rpms from Tumbleweed repo