corrected example value for kernel event server ("kernel_events")