I would seek an answer within the osx86 context.  There is definitely greater kext flexibility.  But usually the kernel issues (or kext issues) in this context arise the other way - upgrading causes something to not work and requires rolling back drivers or whatever.  I can't find any evidence of kernel switching, though - including in the patched kernels list.