[POWERPC] Virtex: Add Kconfig macros for Xilinx Virtex board support