Am Mittwoch, den 25.11.2020, 12:25 +0000 schrieb David C. Partridge: > Hi Oliver > > I'm still trying to build a kernel with your patch applied but my Ubuntu system isn't cooperating :( > > See the sorry story at > https://ubuntuforums.org/showthread.php?t=2453530make ARCH=x86 mrproper Try using make ARCH=x86 mrproper right before LANG=C fakeroot debian/rules binary HTH Oliver