I have finally committed this set in r1753-r1757 after refining a few details. The most important change to the original is the removal of the distinct buffered xilinx cable. There is no sign that there is an unbuffered version, hence only fix the existing one to handle the pulldown correctly.