stripped /kernel ってのは --strip-debugのほうの話で、--strip-all
しなければfileコマンドの結果は'not stripped'になるんだよもん。