Address bug 1469393.
fix bug 769624
DS800C400 fun, improved ROM interface and tinibios
More DS400 support
Get tinibios clock timer interface working on ds400
More support for DS80C400
fix --disable-ds400
DS80C400 support, the beginning