when we say "new kernel" we mean "new configuration and drivers, and possibly platform-specific bits"

not a complete rewrite.