U-Boot 2017.05 (Dec 11 2017 - 16:20:56 +0900) for ODROID-XU4

CPU:   Exynos5422 @ 800 MHz
Model: Odroid XU4 based on EXYNOS5422
Board: Odroid XU4 based on EXYNOS5422
Type:  xu4
DRAM:  2 GiB
MMC:   EXYNOS DWMMC: 0, EXYNOS DWMMC: 1
MMC Device 0 (eMMC): 116.5 GiB
Info eMMC rst_n_func status = enabled
Card did not respond to voltage select!
mmc_init: -95, time 11
*** Warning - bad CRC, using default environment

In:    serial
Out:   serial
Err:   serial
Net:   No ethernet found.
Press quickly 'Enter' twice to stop autoboot:  0
Exynos5422 #
Exynos5422 # fatload mmc 0:1 0x40008000 zimage-gnu
reading zimage-gnu
10269184 bytes read in 266 ms (36.8 MiB/s)
Exynos5422 # fatload mmc 0:1 0x42000000 uinitrd-gnu
reading uinitrd-gnu
49931416 bytes read in 1266 ms (37.6 MiB/s)
Exynos5422 # fatload mmc 0:1 0x48000000 exynos5422-odroidxu4.dtb
reading exynos5422-odroidxu4.dtb
87141 bytes read in 6 ms (13.9 MiB/s)
Exynos5422 # dmc 825
Exynos5422 # setenv bootargs "console=tty1 console=ttySAC2,115200n8 root=UUID=b66c4e0f-a240-4b41-9779-6530fd95075d rootwait rootflags=subvol=/trisquel ro fsck.repair=yes net.ifnames=0  HPD=true"
Exynos5422 # bootz 0x40008000 0x42000000 0x48000000
Kernel image @ 0x40008000 [ 0x000000 - 0x9cb200 ]
## Loading init Ramdisk from Legacy Image at 42000000 ...
   Image Name:   uInitrd
   Image Type:   ARM Linux RAMDisk Image (uncompressed)
   Data Size:    49931352 Bytes = 47.6 MiB
   Load Address: 00000000
   Entry Point:  00000000
   Verifying Checksum ... OK
## Flattened Device Tree blob at 48000000
   Booting using the fdt blob at 0x48000000
   Loading Ramdisk to 4d061000, end 4ffff458 ... OK
   Loading Device Tree to 4d048000, end 4d060464 ... OK

Starting kernel ...