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