Now that saving flags, restore IS_EXEC map to full opcode list. This works for x32.