Migrating 32-bit C++ inline assembly to 64-bit under VC2008