samsung-codina-tmo, gavini, kyle: new devices

These devices have not been tested as I do not own them, but they are already in mainline and supported by the stericsson kernel, so let's make device packages for them as they probably should work just fine as-is.

CC @Minecrell @linusw

device/testing/device-samsung-codina-tmo/APKBUILD

+# Reference: <https://postmarketos.org/devicepkg>
+pkgname=device-samsung-codina-tmo
+pkgdesc="Samsung Galaxy Exhibit (SGH-T599)"
+pkgver=1
+pkgrel=0
+url="https://postmarketos.org"
+license="MIT"
+arch="armv7"
+options="!check !archcheck"
+depends="postmarketos-base mkbootimg linux-postmarketos-stericsson mesa-dri-gallium"
+makedepends="devicepkg-dev"
+subpackages="
+	$pkgname-nonfree-firmware:nonfree_firmware
+	$pkgname-kwin
+	$pkgname-phosh
+"
+source="
+	deviceinfo
+	kwin.sh
+	phoc.ini
+"
+
+build() {
+	devicepkg_build $startdir $pkgname
+}
+
+package() {
+	devicepkg_package $startdir $pkgname
+}
+
+nonfree_firmware() {
+	pkgdesc="WiFi/BT firmware"
+	depends="firmware-samsung-u8500"
+	mkdir "$subpkgdir"
+}
+
+kwin() {
+	install_if="$pkgname kwin"
+	install -Dm644 "$srcdir"/kwin.sh "$subpkgdir"/etc/profile.d/kwin.sh
+}
+
+phosh() {
+	install_if="$pkgname postmarketos-ui-phosh"
+	install -Dm644 "$srcdir"/phoc.ini \
+			"$subpkgdir"/etc/phosh/phoc.ini
+}
+
+sha512sums="
+a52186941c48a4631bb02905bf0b80367effe8cfa86b7ef43f451f4405138204dacb2a59f8c65d6610482fc11a8d70d4894a21264a12f6fe3cd1cdea56ebdb26  deviceinfo
+685ec71484a932c59f83f1039d4d18a010a5849342e96d9e15ae8ce64374aac15073f9c51d7d9f270c60e70d2ea15c685b8f528cdc40f991b093b9227cba6a48  kwin.sh
+95576332f1ad579d30359df9a3efcc3f478c56688509b5c470a70e8ae41466dbb397fb6db7578b5c54e13795ab8cf869b5c63ba775951817a8bb3d4c682bdfd5  phoc.ini
+"