First of all: thanks for your work. You're making our lives better.
Then -- I think the only way to go about this is having boot parameters. Choose sane defaults (and in this case, version 2 most probably is), but giving users easy ways to experiment and change things is (I think) always the best choice.
Of course, it'll always be possible to recompile the kernel, but why hang this hoop so high?1
Is there a boot parameter to tweak the value?
Then -- I think the only way to go about this is having boot parameters. Choose sane defaults (and in this case, version 2 most probably is), but giving users easy ways to experiment and change things is (I think) always the best choice.
Of course, it'll always be possible to recompile the kernel, but why hang this hoop so high?1