picoSoC running on Spartan6, bistream generated with Yosys and nextpnr