VHDL bootloader for Papilio