VExpress64# fatload mmc 0:1 0x80080000 uImage
reading uImage
7278692 bytes read in 1068 ms (6.5 MiB/s)
VExpress64# fatload mmc 0:1 0x88000000 fvp-base-gicv2-psci.dtb
reading fvp-base-gicv2-psci.dtb
10321 bytes read in 11 ms (916 KiB/s)
VExpress64# boot
## Booting kernel from Legacy Image at 80080000 ...
   Image Name:   Linux
   Image Type:   AArch64 Linux Kernel Image (uncompressed)
   Data Size:    7278628 Bytes = 6.9 MiB
   Load Address: 80080000
   Entry Point:  80080000
   Verifying Checksum ... OK
## Flattened Device Tree blob at 88000000
   Booting using the fdt blob at 0x88000000
   Loading Kernel Image ... OK
   reserving fdt memory region: addr=80000000 size=10000
   Loading Ramdisk to 100000000, end 100000000 ... OK
   Loading Device Tree to 000000009fffa000, end 000000009ffff850 ... OK

Starting kernel ...