add build kerneldeb -- modify dts

hc

2023-10-25 6c2073b7aa40e29d0eca7d571dd7bc590c7ecaa7

1
2
3
4
5
6
7
8
9
10
// SPDX-License-Identifier: GPL-2.0
extern void epapr_platform_init(unsigned long r3, unsigned long r4,
                unsigned long r5, unsigned long r6,
                unsigned long r7);
 
void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
           unsigned long r6, unsigned long r7)
{
    epapr_platform_init(r3, r4, r5, r6, r7);
}