CodeSamples/formal: Update rcu-test.dat for v6.15 Signed-off-by: Akira Yokosawa <akiyks@gmail.com> Signed-off-by: Paul E. McKenney <paulmck@kernel.org>