So, I have here this nice laptop that unfortunately came with this nasty CPU bug
[https://lists.debian.org/debian-devel/2017/06/msg00308.html]. What can I do to
remedy it? One option is to let the Linux kernel load a new microcode on every
boot. Another option is updating
