[#2217] Tweaks to new entry about overriding kernel configuration by @WouterJ. Thanks to @Stof for some of the details here.