More likely, this is because the DP didn't support HDCP (which requires a dedicated license while the DP port does not). I suppose the HDCP license cannot be shared between HDMI and DP.