;;
vax*) echo vax;;
x86_64*)
# Starting with linux-2.6.24, the 'x86_64' and 'i386'
if [[ ${type} == "kern" ]] ; then
# trees have been unified into 'x86'.
echo x86_64
if [[ ${type} == "kern" ]] && [[ $(KV_to_int ${KV}) -ge $(KV_to_int 2.6.24) ]] ; then
echo x86
else
ninj x86_64 amd64
fi