Yup that's correct and you don't need to fiddle with config.ini. Just make sure you've upgraded to the latest beta before you install Mark's kernel.