Hi,
What's the status of this bug? linux-image-3.10-3-amd64 still seems to have CONFIG_CC_OPTIMIZE_FOR_SIZE=y
(On a related note, SLUB has been the default memory allocator (superseding SLAB) for a few years now, yet SLAB is still the default on the Debian kernel.)