два дня разбирался почему криво собирается ядро. В итоге пропатчил компилятор и всё заработало.