size of kernel after gcc4.2 upgrade

[Roman Divacky]

hi

I just noticed that
spravci ~# ls -l /boot/kernel*/kernel
-r-xr-xr-x  1 root  wheel  3389971 May 18 12:03 /boot/kernel.old/kernel*
-r-xr-xr-x  1 root  wheel  5211345 May 25 11:47 /boot/kernel/kernel*

ie. after gcc42 import the kernel size increased roughly by 60% thats
a little too much. is there any forgotten option or something that
makes the kernel grow so big?

thnx

roman