find out the effective size of a kmalloc()ed object, needed by uClinux
but also usefull for the "normal" ports, thus not ifdef'ed.