simonb@wasabisystems.com said:
> /usr/include/stdarg.h could be a symlink to /usr/include/sys/stdarg.h

Yes, but we'd have to fix every occurence of <machine/stdarg.h>
in the kernel. A lot of work...
But generally I agree that your solution is the cleanest one.

best regards
Matthias