Re: [Linaro-uefi] [PATCH] FVP: use fdt.dtb in default config