Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  1) // SPDX-License-Identifier: GPL-2.0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  2) extern void epapr_platform_init(unsigned long r3, unsigned long r4,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  3) 				unsigned long r5, unsigned long r6,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) 				unsigned long r7);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6) void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) 		   unsigned long r6, unsigned long r7)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) 	epapr_platform_init(r3, r4, r5, r6, r7);
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) }