document Debian support, amd64, kernel v3.8+ requirements, manage options