How should AMD pay for Xilinx?