Comment 3 for bug 894828

Deepak (Kernel WG Tech Lead) will try and help us solve this problem by assigning some engineers but first we need to make sure we give them as much information as possible.

Philippe: Can you please provide the branch you need to get the kernel including logs and details of the problem.