I added the microcode from intel website, converted using iucode_tools, to the
xen configuration (and copied file next to EFI binary) using the rescue mode on
the install USB (with the help of another USB stick), and Qubes still
freezes.
So the problem is not with the microcode.
On Saturd
This is result of `xl dmesg` - with the default xen logging levels
http://termbin.com/gck1
This is result of `dmesg` in dom0
http://termbin.com/pptq
Those are however from a state before the freeze, nothing is freezing so far. I
am not sure how to capture dmesg right before the freeze; maybe s