Fixing kernel/string header [ci skip]