objcopy -O binary vmlinux 出力ファイル名 として、ls -lか何かでサイズを調べる。 これでいい・・ですよね？ref http://www.ctrlz.jp/kb/vmlinux.html