* etc/PROBLEMS: Amend entry for profiler bug #34235 to mention kernel 4.14.97

diff --git a/etc/PROBLEMS b/etc/PROBLEMS
index 00583f016d13823b5b7c649f5bd04d06d739c75c..b3f1d70858adfdb20a8e4556652c03bd762acd65 100644 (file)
--- a/etc/PROBLEMS
+++ b/etc/PROBLEMS
@@ -1853,8 +1853,8 @@ term/xterm.el) for more details.
 *** GNU/Linux: profiler-report outputs nothing.
 
 A few versions of the Linux kernel have timer bugs that break CPU
-profiling; see Bug#34235.  To fix the problem, upgrade to kernel
-versions 4.19.19 or 4.20.6, or later.
+profiling; see Bug#34235.  To fix the problem, upgrade to one of the
+kernel versions 4.14.97, 4.19.19, or 4.20.6, or later.
 
 *** GNU/Linux: Process output is corrupted.