Big problem with hsw is the 64bit float stuff. Intel hardware doesn't have all the fp64 ops in hardware, and they need to be emulated in software. That...