/* Quote from sbcl-devel (NIIMI Satoshi): "Some OSes, like FreeBSD
* 4.x with GENERIC kernel, does not enable SSE support even on
* SSE capable CPUs". Detect this situation and skip the
/* Quote from sbcl-devel (NIIMI Satoshi): "Some OSes, like FreeBSD
* 4.x with GENERIC kernel, does not enable SSE support even on
* SSE capable CPUs". Detect this situation and skip the