Update stock kernel configurations to account for new options.