[POWERPC] Virtex: Add generic Xilinx Virtex board support