PROCTL[D3CD] has to be set to 1 if DAT3 is used as card detection. A pull down is needed as well per spec. It should be an external pull down.
If DAT3 is not used as card detection pin, a separate pin has to be used. For 8536, SDHC_CD_B/GPIO[4] pin is used. PMUXCR[SDHC_CD] pin should set to 1. If PROCTL[D3CD] =0 & PMUXCR[SDHC_CD]=0, the PRSSTAT[CDPL] field is unaffected by the external card detect pin, and will permanently indicate that a card is present.