Begin port to GNU/kFreeBSD

This is just a minimal port to get Debian up and running; the rest will
be done later.