I would guess it is a BIOS patch, just like the microcode normally is. So it probably needs to be installed at every system boot. Perhaps someone more knowled

I would guess it is a BIOS patch, just like the microcode normally is. So it probably needs to be installed at every system boot. Perhaps someone more knowledgeable can correct my guesses?