x86, x32: Correct invalid use of user timespec in the kernel