Ben si, pourquoi ?

Nil > c'est le cas depuis 20 ans (ça remonte au Pentium Pro). Le BIOS/firmware UEFI et les OS embarquent l'équivalent de drivers de CPU qui incluent des patches pour le microcode.