Refine DoSmiTag implementation for x32 port