Line 673 in the C:\Xilinx\11.1\EDK\sw\ThirdParty\bsp\vxworks6_5_v1_03_a\data\vxworks6_5_v2_1_0.tcl file
contains:
set ROM_WARM_ADRS [format "%08x" [expr $ROM_BASE_ADRS]]
Line 673 should be:
set ROM_WARM_ADRS [format "%08x" [expr $ROM_WARM_ADRS]]
This problem is scheduled to be fixed in 12.1.