O microcódigo não é atualizado em [0: 000000]. Isso é o que meu sistema revelou:
$ cat /var/log/syslog | grep microcode
Feb 4 15:24:28 alien kernel: [16109.540807] microcode: microcode updated early to revision 0xba, date = 2017-04-09
e de:
$ cat /var/log/syslog.1 | grep microcode
Feb 3 08:08:07 alien kernel: [ 1.152389] microcode: sig=0x506e3, pf=0x20, revision=0xba
Feb 3 08:08:07 alien kernel: [ 1.152899] microcode: Microcode Update Driver: v2.2.
Feb 3 08:08:53 alien kernel: [ 1.150298] microcode: sig=0x506e3, pf=0x20, revision=0xba
Feb 3 08:08:53 alien kernel: [ 1.150765] microcode: Microcode Update Driver: v2.2.
Feb 4 08:30:54 alien kernel: [57834.131308] microcode: microcode updated early to revision 0xba, date = 2017-04-09
Feb 4 08:32:28 alien kernel: [ 1.143969] microcode: sig=0x506e3, pf=0x20, revision=0xba
Feb 4 08:32:28 alien kernel: [ 1.144257] microcode: Microcode Update Driver: v2.2.
... Intel Microcode é atualizado cerca de 1 segundo na inicialização ao usar um NVMe M.2 SSD.
A sua questão pode ser fechada como uma duplicata em breve e eu só queria postar esta informação antes de ser fechado.
Se você pesquisar "TSC_DEADLINE microcódigo" você encontrará uma pergunta-se errata devido semelhante aqui em Ask Ubuntu que também pode ser fechada como uma duplicata em breve.