Fix a few overlooked OF_X86_64 to OF_AMD64