> Could you check the kernel in OBS home:tiwai:bsc1209436 repo? Yes, it seems to boot without problems.