Myslim, ze na Linuxu staci proste updatovat system a update mikrokodu probehne automaticky pri pristim rebootu (bez komplikaci typu update UEFI/BIOSu).
Lze, ale když jsem se o tom před časem bavil s Borisem Petkovem, potvrdil mi, že i když to technicky jde provést kdykoli, jistější je udělat to co nejdříve při bootu.