대충 700에서 800정도가 나오더군요
지금 쓰고 있는 커널이미지는 716KB입니다
커널 옵션은 /usr/src/linux/.config 파일에 저장되는거 아시죠?
make config 또는 make menuconfig 해서 설정한뒤에 나올때
저장하면 이 파일이 생성됩니다
이 파일을 따로 복사해서 가지고 있으면 다음에 컴파일 할때도 참 편하죠
제 설정이 적절한지는 잘 모르겠지만 커널이미지가 900이 넘는다면
제 생각에는 좀 큰것 같습니다
옵션을 잘 알아보시고 필요없는 옵션은 체크를 안해주시는 편이 좋을듯 싶네요