x86: Support TPL in Intel common code