>Is there any reason not to use ${MACHINE_CPU} to select among
>subdirectories of sys/lib/libkern/arch?  Is relying on <bsd.own.mk>
>allowed in the kernel, or should MACHINE_CPU be set by the
>machine-specific Makefile?

	in the past the declaration of ARCHSUBDIR was slightly different
	from MACHINE_CPU, so I've left it as is.  if it works okay, yeah,
	why not using the value of MACHINE_CPU.

itojun