Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) #!/bin/sh
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) # SPDX-License-Identifier: GPL-2.0+
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) # Copyright 2020 Palmer Dabbelt <palmerdabbelt@google.com>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) sed 's!\([0-9a-f]*\) T \([a-z0-9_]*\)\(@@LINUX_4.15\)*!.global \2\n.set \2,0x\1!' \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) | grep '^\.'