Isn't TDP for AMD a maximum value and for Intel an average value?