BTW, there were some firmware updates recently. Could you check the kernel-firmware package in OBS home:tiwai:branches:Kernel:HEAD repo? The package is currently being built, and it may take some time until it finishes and is published.