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