Make kernel compatible with standard toolchain again