Samsung msm7x27: enable CPU_V6K support & fix compile

The K extension is present on most msm7x27 chipsets used by
Android devices. Restrict to Samsung boards, just in case.

Fix "TLS_USERSPACE_EMUL" when CPU_USE_DOMAINS is disabled

Change-Id: I24e727444703228550451aa5388cc7b7ebbb224e