And simplify Tizen detection: don't use TIZEN_SDK_MAJOR/MINOR that are only
defined from the Tizen port build script.