Petalinux 2014.4 u-boot with a proper hardware definition works fine "off the shelf."
Not the case with petalinux 2015.4's u-boot.
This is all I get:
U-Boot 2015.07 (Jan 26 2016 - 10:32:21 -0500)
DRAM: ECC disabled 512 MiB
No qspi detected line, nothing. Not necessarily a crisis, since the 2014 u-boot works fine, but dismayed that some non-trivial configuration/intervention is needed to get a working u-boot. Thanks Xilinx!
