Its a good thing I waited - I had a misspelling in coreboot-v2.mk (PLAFORM_GEODE). I fixed that, and the Geode platforms still failed, but at least this time they failed because of size.
So, for the record, the following platforms have kernel configs that are too big (or don't have an accomodating Config.lb):
dbe61 db800 ga-m57sli-s4 serengeti-cheetah norwich msm800sev alix1c s2892 s2881 s2882
The Tyan boards should all work with 64-bit. That kernel is quite a bit smaller.
Thanks, Myles
The following platforms have no kernel.mk:
a8v-e-se s-c-fam10 ga-2761gxdk
And the following platforms build a kernel successfully:
h8dmr qemu s2891 s2895
All platforms successfully built FILO and coreinfo. I haven't yet added any of the other payloads to the test.
Jordan