6.9.5 has now made it to the main channel. Tested it: cores now correctly initialised on default Tumbleweed kernel. Thanks!