x86: Work around SMI migration breakages