Doh, there was a typo in the patch, which made completely bogus. The revised patched kernel is being built in the same OBS repo home:tiwai:bsc1194086 now. It'll be based on 5.15.13. Please retry it later after the build finishes.