ARM: shmobile: use GPIO SD-card detection on armadillo800eva