- Make kernel build again after __STDC__ change in 42369