Ubuntu Serverのカーネルを64bit対応のものにして再挑戦するところ。 #1