Just to be sure, could you try also the kernel in OBS home:tiwai:bnc1088902 repo? I guess it won't change the behavior, and the cause is unlikely relevant with the memory allocation, but still worth to try.