MA35D1 Kernel加载galcore驱动后reboot会卡死

1.测试发现kernel的设备树名称为ma35d1-jv3.dts，把内容全部拷贝到ma35d1-som-256m.dts，重新编译则可以正常reboot.

2.设备树命名有规则, 可以看Buildroot的README，如下，所以把设备树名称后缀增加256m (ma35d1-jv3-256m.dts )，问题就可以解决。

Device tree of Kernel need to set DDR size

according to the board. do the following:

1) run 'make numaker_som_ma35d16a81_defconfig'

2) run 'make menuconfig'

3) modify 'Kernel --> (nuvoton/ma35d1-som-256m) In-tree Device Tree Source file names '

The currently provided device tree are as follows:

        - nuvoton/ma35d1-iot-128m

        - nuvoton/ma35d1-iot-512m

        - nuvoton/ma35d1-som-256m

        - nuvoton/ma35d1-som-512m

        - nuvoton/ma35d1-som-1g