Sanitize code for 64-bit SMIs.