samsung-p4note: enable automatic kernel upgrades (MR 3425)

device/testing/device-samsung-p4note/APKBUILD

 # Reference: <https://postmarketos.org/devicepkg>
 pkgname=device-samsung-p4note
 pkgdesc="Samsung Galaxy Note 10.1"
-pkgver=1.1
+pkgver=1.2
 pkgrel=0
 url="https://postmarketos.org"
 license="MIT"
@@ -12,6 +12,7 @@ depends="
 	mesa-dri-gallium
 	mkbootimg
 	postmarketos-base
+	postmarketos-update-kernel
 "
 makedepends="devicepkg-dev"
 subpackages="$pkgname-nonfree-firmware:nonfree_firmware"
@@ -35,5 +36,5 @@ nonfree_firmware() {
 }
 
 sha512sums="
-5121841a8ee25cb9101f0067d511a50c6af796b1d84ca45de5ed4dfd1f1c8072ba5e27f871b6278a7faf1a45d39f54b1c9bb6a06ef54e368b79fdd6fa44d015a  deviceinfo
+ade0e5d31809caa2ef9ca94c7b5cdb7e4a17ceef47484d7795a59b36c45686467dbd9b77585a2b23ad0150aad6afc2af2fde8e0a6b324c31fc7c83e1fa4dedf2  deviceinfo
 "

device/testing/device-samsung-p4note/deviceinfo

@@ -10,6 +10,7 @@ deviceinfo_year="2012"
 deviceinfo_append_dtb="true"
 deviceinfo_dtb="exynos4412-p4note-n8010"
 deviceinfo_arch="armv7"
+deviceinfo_flash_kernel_on_update="true"
 
 # Device related
 deviceinfo_gpu_accelerated="true"