So now that F15C has selectable full time dual core, what is the difference between the two kernels?

Currently I am running F4 with no complaints, but am I missing out on anything by not running F15C?