Merge branch 'v4.18/standard/base' into v4.18/standard/mti-malta32

tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk

-#!/usr/usr/bin/awk -f
+#!/usr/bin/awk -f
 # SPDX-License-Identifier: GPL-2.0
 
 # Modify SRCU for formal verification. The first argument should be srcu.h and