[PATCH] module: strlen_user() race fix