[PATCH] x86_64: Make local_t 64bit instead of 32bit