IIRC, one kernel (the earliest) is for the A/B, and the other is for the C.
If they're built the same way as newer devices (i.e., with CONFIG_MODVERSIONS), you'll have to build the full kernel anyway.
c.f.,
http://trac.ak-team.com/trac/browser...mpile.sh#L3991 for my latest notes.
If things implode at runtime, double-check (i.e., readelf) which TC is actually used to build your production kernel, as it happens to be completely different than the one used to build Nickel on my two devices ^^.