fix BOARD_USE_TI_ENHANCED_DOMX check

Change-Id: I66daf6705e16e40b7b6340d8195c80b2355bbc66