Did the kernel get fixed this time?