add instruction to switch to 64 bit VM