Re: kernel growth (was: /boot problem.)