sys/src/boot/vt4: import Xilinx Virtex-4 boot loader from Bell Labs (thanks Geoff Collyer)