Hrm, I'm not sure what's wrong there, so I added more debug prints. The kernel is being rebuilt again in the same repo. Please give it a try later again.