[nowprovision]

You're missing the point. The mode of operation is defined in the BIOS, and these parts have been deliberately disabled. Whilst in theory it's true that Debian could potentially release a version in the future at present due to delibrate crippling in the BIOS (changed firmware to disable features) one can not even workaround this.

Acer used to do something somewhat similar on some Aspire models (disabling option to enable Vx at BIOS) so using VirtualBox was a no starting, but with some creativity and long winded efi vars mounting and fiddling you could get it working or break your system, not soldering though :)

I'd be interested to see how it pans out Lenovo community admins are worse than Acer community. At least with Dell I find a few engineer on Twitter and ping them..

[tracker1]

Disabling the vx toggle in the bios bit me a couple times... it's just weird that a vendor would do that in the first place. Fortunately, at home I've always built my own, but laptops are so much more limited in terms of freedom.