So based on this discussion it sounds like we're going to stick with the FC6 runtime and the FC6 kernel. FC6 is a pretty good base toolchain and the kernel will follow upstream, so we're in a good position to follow it. Thanks, folks! --Chris