x86_64: Some update issues