[Debian]

知りませんでした・・・。

Intel の 64bit CPU でも AMD64 のカーネルが使えます。かなり変わりました。