> Where do I find Kens work on the FPU because right now I can't get it to boot.

Speaking with first hand experience, getting an FPU won't help matters.
I have a Duo Dock II, which has the FPU, and a Toby Frame Buffer video card
and it still won't boot. In fact, I get the same results as you did. The
problem is elsewhere in the kernel.
						-Rob H.