Comment by xxs

of course, it's hot-swap material, the microcode is 1st deployed by the bios, then the OS can apply changes as well.

Just that it's writable by $ (not #) feels awkward.