Fez Cerb 40 SD CD pin

I cannot find any pin for card detect. Do I just use a regular IO pin for it and see if it goes high to detect the card?

Is it ok to just tie it high always (since my module will always have an SD card in it)?.

Thanks.

Leave unconnected or use any io