ページ名の変更

Debian GNU Linux/4.0 etch/amd64/kernelの名前を変更します。