which generate uImage which is successfully running on imx6 with LOADADDR=30008000. 

9928768 bytes read in 523 ms (18.1 MiB/s)
## Booting kernel from Legacy Image at 10800000 ...
   Image Name:  
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    9928704 Bytes = 9.5 MiB
   Load Address: 10001000
   Entry Point:  10001000
   Verifying Checksum ... OK
   Loading Kernel Image ... OK

Starting kernel ...

kernel initialized
Genode 14.11
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 246 MB to init
int main(): --- init created, waiting for exit condition ---
[init] parent provides
[init]   service "ROM"
[init]   service "RAM"
[init]   service "IRQ"
[init]   service "IO_MEM"
[init]   service "CAP"
[init]   service "PD"
[init]   service "RM"
[init]   service "CPU"
[init]   service "LOG"
[init]   service "SIGNAL"
[init]   service "VM"
[init] child "tz_vmm"
[init]   RAM quota:  3932160
[init]   ELF binary: tz_vmm
[init]   priority:   0
[init -> tz_vmm] Start virtual machine ...