Comment 4 for bug 1883065

Could you also attach output of `dmesg | grep microcode:` and `lscpu` when booted with those work-arounds? And, most important of all, does purging intel-microcode work for you? You may need to warm boot 10 times to make sure it really boots normally.