> > [... i386 kernel image bigger by 2742B ...]
> > 
> > What do you think?
> 
> Even adding a few kb WILL take some of the kernels over their size
> limit.

Doing what thorpej@ suggested would reduce the impact to ~700B. I can
try it in the evening.

	Regards,
		-- Jachym Holecek