Fix definitions for strlen and user_strlen
Fix definitions for strlen and user_strlen

iankronquist/kernel-of-truth,iankronquist/kernel-of-truth,iankronquist/kernel-of-truth,iankronquist/kernel-of-truth,iankronquist/kernel-of-truth