Something I haven't seen mentioned here yet, the Linux and FreeBSD kernels are both monolithic kernels. Just because you can load and unload modules doesn't change this fact.
If you want a real small kernel look for a Microkernel like MACH.
If you want a real small kernel look for a Microkernel like MACH.