On Mon, Oct 8, 2018 at 7:16 PM Jude DaShiell <
jdashiel@panix.com> wrote:
Did you install the intel microcode package yet? This may solve the
problem or may not. Failing that, try an install of the debian firmware
Jude, it is very sad (for me, of course) to tell you that the intel microcode was already installed.
Thank you anyway,
alberto