Linux had problems booting the latest TRX40 Threadripper CPUs, too. Their workaround was to set the kernel to mce=off, will this work for a hackintosh install?