> >Description:
> 	The -fno-builtin switch is no longer needed.
> 	All source files are now okay.
> >How-To-Repeat:
> 	Make an new kernel without -fno-builtin

There is a fair case to be made that kernels should be compiled with
-fno-builtin, even if the sources are "fixed" to avoid namespace
collisions.

for one, inlining them skews can profiling results...  additionally,
the compiler's prototypes do not necessarily match the kernel's
prototypes, and that may not be an error.


chris