Problem solved, see my response to Nicolas George elsethread. For the record, answers to your questions nevertheless.
* Franco Martelli <[email protected]> | - is the intel-microcode package installed? Yes. | - when Didier recommended the linux-image-rt-amd64 kernel after | installed, have you rebooted the system and verified with the "uname | -a" command that the fanless PC is running the real-time kernel? Yes, I selected the -rt kernel in GRUB. Thanks for your help! R'
