linux-yocto linux-yocto-dev: Fix /bin/awk issues

084857b1 ("linux-yocto: Handle /bin/awk issues") makes one mistake and
misses one substitution causing the following warning.

Warning: Kernel ABI header at 'tools/arch/x86/tools/gen-insn-attr-x86.awk'
differs from latest version at 'arch/x86/tools/gen-insn-attr-x86.awk'

Fixes: 084857b1 ("linux-yocto: Handle /bin/awk issues")
Signed-off-by: He Zhe <zhe.he@windriver.com>
Signed-off-by: Bruce Ashfield <bruce.ashfield@gmail.com>

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