Implement smart address patching for 64bit