tedu@ modified sys/kern/kern_malloc.c: instead of defining two versions of bucketidx, just don't inline for small. ok deraadt