we can help you but there's a price :-)
would you be willing to send me a writeup on "How I built for the Geode sc1200" if I tell you :-)
I'm also looking at the code, and I would have found useful this guide too. It would be ok to pay the price for me! :-) At this moment I still don't have the hardware (a reference board from National) but I have been able to build a LinuxBIOS image, still some questions about what to flash on it.
I would prefer to post all my doubts to a single person, the resume them and write the guide once, then post it in the list or whatever. Makes this sense?
Best regards
David