install-server: install 3.14 kernel on Debian