Folks...

Below is a diff that does what the subject says.  This allows
you to put TOOLPREFIX in the environment or kernel config file
(as a makeoption) and get a different toolchain.

I'll commit it in a couple of days unless there's any serious
objection.

-- 
        -- Jason R. Thorpe <thorpej@wasabisystems.com>