Andi Kleen wrote:

BTW if we don't want to supply these functions we should change
the kernel to compile with -ffreestanding. But so far at least 
the common ports are good enough at that now that it isn't needed.

Agreed...