doubleshot: use USER_SMI_SIZE