Re: TS 7200 kernel image size

[Ken Hornstein <kenh%cmf.nrl.navy.mil@localhost>]

>The file gzimg_TS7200_wd0_flash_0x60660000 grew as follows over the
>releases (gunzipped):
>
>3.1.1: 1386260 bytes/0x152714
>4.0.1: 1496617 bytes/0x16D629
>5.0:   1666084 bytes/0x196C24
>[...]

I trimmed the TS7200 kernel config file of some crap a little while ago,
but I was lame and didn't submit a pullup request so the changes would 
make it into 5.0.  There is a lot of cruft in there; the easiest thing
to do is simply trim the kernel config file back.

--Ken