Hi Sebastian, One patch you added yesterday unfortunately caused (at least) three separate build problems with 32-bit ARM randconfig builds. These three patches should make it all work again. Arnd