[PATCH] sys_hpux: fix strlen_user() race