You are not missing anything, simply Xilinx's kit distributers accumulates a more profit.