[U-Boot] [PATCH v3 32/48] Convert CONFIG_CMD_HDMIDETECT to Kconfig