Re: [SuSE Linux] vmlinux too big...?