At least the ZYNQ is. After yesterday's trouble I was pretty pessimistic, but the ZYNQ started up fine for the first time. All PL IOs seem to be ok, and I could run a software debug session from the Xilinx SDK.
Oh yeah, the config flash... thermal pad upside?! Guess who draw a mirrored footprint! Of course it was me. So dead bug is the new way to go. (I'm glad though that I didn't have to do sg like this :D )