Convert CONFIG_CMD_HDMIDETECT to Kconfig