cable_detect: fix build when CABLE_DETECT_GPIO_DOCK is disabled

Change-Id: I0695a6e8f27c113889621552778cb986fd05313e