Hi Nick, https://bugs.debian.org/845690 reports that trunk 20161124 doesn't allow to build a working kernel on at least x86_64. I verified that reverting the fix for PR ld/20815 allows to build a working kernel again. Matthias