kernel/string.h fixed