[PATCH] fix SMP ordering hole in fcntl_setlk()