Oops, here they are:
Standard kernel (original config: make allnoconfig + CONFIG_EMBEDDED):
text data bss dec hex filename
966473 139000 90112 1195585 123e41 vmlinux
Size of vmlinux: 1386005
With the patch (using only CONFIG_CPU_SUP_INTEL):
text data bss dec hex filename
957561 136536 90112 1184209 1211d1 vmlinux
(-9812) (-2464)
Size of vmlinux: 1373697 (-12308 bytes)
-12K in the kernel size looks quite nice to me.
Michael.
--
Michael Opdenacker, Free Electrons
Free Embedded Linux Training Materials
on http://free-electrons.com/training
(More than 1500 pages!)
--