KS32C5000 driver debug output patch

[Jonathan Larmour]

Chris Garry wrote:
> The attached patch allows the level of debug output from the ks32c5000
> driver to be controlled.  This makes it possible for RedBoot and an eCos
> application  to share an ethernet port with this driver.

Applied, thanks! Although I had to slightly change the CDL comment, 
because formatting isn't guaranteed to be preserved unfortunately.

Jifl
-- 
eCosCentric    http://www.eCosCentric.com/    The eCos and RedBoot experts
--[ "You can complain because roses have thorns, or you ]--
--[  can rejoice because thorns have roses." -Lincoln   ]-- Opinions==mine