From several pieces of documentation. Also, it corrected message (that gave hint about the path that file should be located) that surfaced in dmsg this morning.
Originally Posted by dino99
1. it is in accordance with documentation (read it in archive mentioned above, for example...) ...
2. it works...
:~$ dmesg|grep microcode
[ 14.993985] microcode: CPU0: patch_level=0x01000083
[ 15.778263] microcode: CPU1: patch_level=0x01000083
[ 15.779979] microcode: CPU2: patch_level=0x01000083
[ 15.781662] microcode: Microcode Update Driver: v2.00 <firstname.lastname@example.org>, Peter Oruba