Dediğiniz şey yanılmıyorsam
işlemci ile alakalı,
ekran kartı ile değil.
Normalde işlemci BIOS tarafından verilen mikrokodu kullanır, GNU/Linux dağıtımları ise işlemcinin mikrokodunu bu sürücü ile (BIOS'u güncellemeye gerek kalmadan) güncelleyebiliyor.
Eğer bilgisayarınız herhangi bir sorun çıkartmıyorsa, sahipli mikrokod sürücüsünü kurmanıza gerek yok.
(İngilizce detaylı bilgiler
şurada ve
şurada.)