[slime-devel] Weird interaction between CMU, SLIME, floating-point-modes, possibly kernel/chipset?