Bj�rn, do you have any update? I just got like the 20th question about why is our kernel upload script failing with HTTP 500. We do have a workaround in git, but people sometimes need to work on older commits for various reasons. And this has been broken for about a month now.