[PATCH 152/171] Correct SPL use of TARGET_MX6UL_9X9_EVK