Rock64 no longer boots after dist-upgrade

[KernelPanic]

I think the image was just crap, I did a format and started from scratch and now it's booting.  

So now I have a working image.
Before I do another stupid thing, could you validate if I know have to do the following?

First I mount the root of emmc to newly created folder
sudo mount /dev/mmcblk0p7 /mnt/bootmmc

Seems to be correct, this is the contents of emmc boot:

Code:

rock64@rock64:/mnt/bootmmc/boot$ ls -l
total 117660
-rw-r--r-- 1 root root  4615568 Apr 29 20:28 System.map-4.4.120-rockchip-ayufan-213
-rw-r--r-- 1 root root  4660138 May 27 18:39 System.map-4.4.126-rockchip-ayufan-239
-rw-r--r-- 1 root root  4557526 Jun 12 08:49 System.map-4.4.126-rockchip-ayufan-260
-rw-r--r-- 1 root root  4492973 Oct 12  2017 System.map-4.4.77-rockchip-ayufan-136
-rw-r--r-- 1 root root   147469 Apr 29 20:28 config-4.4.120-rockchip-ayufan-213
-rw-r--r-- 1 root root   148020 May 27 18:39 config-4.4.126-rockchip-ayufan-239
-rw-r--r-- 1 root root   148184 Jun 12 08:49 config-4.4.126-rockchip-ayufan-260
-rw-r--r-- 1 root root   143541 Oct 12  2017 config-4.4.77-rockchip-ayufan-136
lrwxrwxrwx 1 root root       59 Jun 15 23:41 dtb -> dtbs/4.4.126-rockchip-ayufan-260/rockchip/rk3328-rock64.dtb
lrwxrwxrwx 1 root root       59 May 30 07:43 dtb-4.4.120-rockchip-ayufan-213 -> dtbs/4.4.120-rockchip-ayufan-213/rockchip/rk3328-rock64.dtb
lrwxrwxrwx 1 root root       59 Jun 15 23:41 dtb-4.4.126-rockchip-ayufan-239 -> dtbs/4.4.126-rockchip-ayufan-239/rockchip/rk3328-rock64.dtb
lrwxrwxrwx 1 root root       59 Jun 15 23:41 dtb-4.4.126-rockchip-ayufan-260 -> dtbs/4.4.126-rockchip-ayufan-260/rockchip/rk3328-rock64.dtb
lrwxrwxrwx 1 root root       58 May 30 07:41 dtb-4.4.77-rockchip-ayufan-136 -> dtbs/4.4.77-rockchip-ayufan-136/rockchip/rk3328-rock64.dtb
drwxr-xr-x 8 root root     4096 Jun 15 23:41 dtbs
drwxr-xr-x 2 root root     4096 Apr  2 16:14 efi
-rw-r--r-- 1 root root     8649 Dec 12  2017 filesystem.packages
-rw-r--r-- 1 root root        1 Dec 12  2017 filesystem.packages-remove
-rw-r--r-- 1 root root  6129960 May 30 07:41 initrd.img-4.4.120-rockchip-ayufan-213
-rw-r--r-- 1 root root  6130061 Jun 15 23:41 initrd.img-4.4.126-rockchip-ayufan-239
-rw-r--r-- 1 root root  6677437 Jun 12 19:38 initrd.img-4.4.126-rockchip-ayufan-260
-rw-r--r-- 1 root root  5873530 May 30 07:41 initrd.img-4.4.77-rockchip-ayufan-136
-rwxr-xr-x 1 root root 19369992 Apr 29 20:28 vmlinuz-4.4.120-rockchip-ayufan-213
-rwxr-xr-x 1 root root 19726344 May 27 18:39 vmlinuz-4.4.126-rockchip-ayufan-239
-rwxr-xr-x 1 root root 18995208 Jun 12 08:49 vmlinuz-4.4.126-rockchip-ayufan-260
-rwxr-xr-x 1 root root 18606088 Oct 12  2017 vmlinuz-4.4.77-rockchip-ayufan-136

Contents of the sdcard boot:

Code:

rock64@rock64:/boot$ ls -l
total 28264
-rw-r--r-- 1 root root  4615568 Apr  2 16:06 System.map-4.4.120-rockchip-ayufan-209
-rw-r--r-- 1 root root   147469 Apr  2 16:06 config-4.4.120-rockchip-ayufan-209
lrwxrwxrwx 1 root root       59 Apr  2 16:31 dtb -> dtbs/4.4.120-rockchip-ayufan-209/rockchip/rk3328-rock64.dtb
lrwxrwxrwx 1 root root       59 Apr  2 16:31 dtb-4.4.120-rockchip-ayufan-209 -> dtbs/4.4.120-rockchip-ayufan-209/rockchip/rk3328-rock64.dtb
drwxr-xr-x 3 root root     4096 Apr  2 16:31 dtbs
drwxr-xr-x 3 root root    16384 Jan  1  1970 efi
-rw-r--r-- 1 root root     8649 Dec 12  2017 filesystem.packages
-rw-r--r-- 1 root root        1 Dec 12  2017 filesystem.packages-remove
-rw-r--r-- 1 root root  4760374 Apr  2 16:31 initrd.img-4.4.120-rockchip-ayufan-209
-rwxr-xr-x 1 root root 19369992 Apr  2 16:06 vmlinuz-4.4.120-rockchip-ayufan-209

So now I just copy the whole contents of sdcard boot to emmc boot?
sudo cp -rp /boot/ /mnt/bootmmc/boot/

Thanks again!