As seen in the attack demo video the kernel advises of some. You can ‘cat /proc/cpuinfo’ and look for them there.