ZynqMP boot: no messages from SPL other than "Debug uart enabled"

[Major A]

Hi Michal,

> export DEVICE_TREE=...
> should cause that CONFIG_DEFAULT_DEVICE_TREE will remain assigned to
> zcu100 but SPL/u-boot proper will be using zcu102.
> 
> You can check it by looking at build folder ls spl/board/xilinx/zynqmp/
> where you see which psu_init was used (recommend to make mrproper before
> you check this to remove old builds)

OK, that seems to be the case.

> You should look at this.
>          configurations {
>                  default = "config_17";
> 
>                  config_17 {
>                          description = "zynqmp-zcu102-rev1.1";
>                          firmware = "atf";
>                          loadables = "uboot";
>                          fdt = "fdt_17";
>                  };

That's what SHOULD be there, but it isn't.  "default" points to 
"config_1", not 17.  Why?  And how do I change this (sorry for my 
ignorance, but editing the file and rebuilding u-boot doesn't work 
because the file gets overwritten)?

Cheers,

   András