Nem ilyenkor szokott bejátszani pl. a kernelhez adott mikrokód patch? Arra nem találtam még választ, hogy az ilyen patch-ek teljesen házi barkács dolgok, vagy a proci gyártó is besegít, legalább doksival?