CONFIG_CMD_HDMIDETECT
CONFIG_CMD_BMODE

Signed-off-by: Robert Winkler <robert.winkler@boundarydevices.com>
Acked-by: Otavio Salvador <otavio@ossystems.com.br>