All fixed.
I didn’t add that to that Firmware section. You want those steps there somewhere?
Fixed.
And not widely known in community / explained in wiki (much). Hence why Xen only has low 100s in identified bugs, where Linux / Microsoft is through the roof. Will note & add that link to microkernel research i.e. you’re screwed on normal Linux platform by comparison.
Yet another reason to run Qubes, and have a small target at the core of your system.