Which would leave me with only one option: to compile and flash a Hyper-Threading off UEFI firmware (made by coreboot+seabios I guess?).
It’s above my abilities unfortunately. 
I might try my luck by e-mailing purism support. Hopefully they will be able to show me an easy way to do it.