Ich denke, er muss die Feature Flags sowie die Cache-Deskriptoren einmal aktualisieren, dafür kommt etwa das Intel 64 and IA-32 Architectures Software Developer's Manual
Volume 2A: Instruction Set Reference, A-M in frage (
hier).
Dort enthält Kapitel 3.2 ab Seite 180 die Beschreibung des CPUID-Befehls.