[cl-debian] SBCL support on GNU/kBSD