Could you try the kernel package in OBS Kernel:stable repo? The patch mentioned in the thread is already included there.