Comment 11 for bug 1282076

it does boot using the fvp model: ~/linaro/Foundation_v8pkg/models/Linux64_GCC-4.1/Foundation_v8 --block-device=/home/koen/linaro/test/vexpress64-openembedded_lamp-armv8-gcc-4.8_20140522-651.img --data=/media/1/fvp_bl1.bin@0x0
             --data=/media/1/uefi_fvp-base.bin@0x8000000 --gicv3 --no-secure-memory

Image from https://validation.linaro.org/scheduler/job/128386/log_file