system/easy-kernel: bump to 4.14.88-mc13

system/easy-kernel-power8-64k/APKBUILD

 # Contributor: A. Wilcox <awilfox@adelielinux.org>
 # Maintainer: Adelie Platform Group <adelie-devel@lists.adelielinux.org>
 _pkgname=easy-kernel-power8-64k
-pkgver=4.14.76
-pkgrel=11
+pkgver=4.14.88
+pkgrel=13
 pkgname=$_pkgname-$pkgver-mc$pkgrel
 _kflavour=power8-64k
 pkgdesc="The Linux kernel, packaged for POWER8 and POWER9 computers (with 64K page size)"
@@ -77,7 +77,7 @@ modules() {
 }
 
 sha512sums="77e43a02d766c3d73b7e25c4aafb2e931d6b16e870510c22cef0cdb05c3acb7952b8908ebad12b10ef982c6efbe286364b1544586e715cf38390e483927904d8  linux-4.14.tar.xz
-d8bfe29549e0a1a7e86d8ead682e93e704c8d0b4b454f8a75306aa7ef5d628cab3a65847e27502866ed5901aff189eb440d47d8e07c2c34ebb7d2d82b717a64b  linux-4.14-mc11.patch.xz
+b9ec95e20b8ef1f99ab393c285f99c8630915ad688ea1f6eaf170b180f0aea65a24a8875f7a7ccc0c1a35b1e54a0b1ff2e6d04fb5f0fc2cbd5857082128a04a8  linux-4.14-mc13.patch.xz
 e41d9111219342ad13367902242444ecdd847a93575c3f9709d6c6a075bc650f4a15be9db1a8798435fc0a0b56d41705829bfe0d2c2d88f8d1c28931e27ef5be  ast-endianness.patch
 6e155f1109666ee907baf7f586d856366ba8afb6f008d48489c0bc269438a8280534266d3e37b449e44ce964688ea48f041bb36214eb495d59b84e55cdf49c19  config-ppc64
 64486a4f53046a69f727cecd8c39400b50c2d2b15e3b5ca8c18b8249d25990f3a872ec064800ba3d190f9d25b4518899b9ea3675920f487108102856d6beb51e  futex-cmpxchg.patch"

system/easy-kernel-power8/APKBUILD

 # Contributor: A. Wilcox <awilfox@adelielinux.org>
 # Maintainer: Adelie Platform Group <adelie-devel@lists.adelielinux.org>
 _pkgname=easy-kernel-power8
-pkgver=4.14.76
-pkgrel=11
+pkgver=4.14.88
+pkgrel=13
 pkgname=$_pkgname-$pkgver-mc$pkgrel
 pkgdesc="The Linux kernel, packaged for POWER8 and POWER9 computers"
 url="https://kernel.org/"
@@ -83,7 +83,7 @@ src() {
 	mv "$srcdir"/linux-src "$subpkgdir"/usr/src/linux-$pkgver-mc$pkgrel-p8
 }
 sha512sums="77e43a02d766c3d73b7e25c4aafb2e931d6b16e870510c22cef0cdb05c3acb7952b8908ebad12b10ef982c6efbe286364b1544586e715cf38390e483927904d8  linux-4.14.tar.xz
-d8bfe29549e0a1a7e86d8ead682e93e704c8d0b4b454f8a75306aa7ef5d628cab3a65847e27502866ed5901aff189eb440d47d8e07c2c34ebb7d2d82b717a64b  linux-4.14-mc11.patch.xz
+b9ec95e20b8ef1f99ab393c285f99c8630915ad688ea1f6eaf170b180f0aea65a24a8875f7a7ccc0c1a35b1e54a0b1ff2e6d04fb5f0fc2cbd5857082128a04a8  linux-4.14-mc13.patch.xz
 e41d9111219342ad13367902242444ecdd847a93575c3f9709d6c6a075bc650f4a15be9db1a8798435fc0a0b56d41705829bfe0d2c2d88f8d1c28931e27ef5be  ast-endianness.patch
 7eaa8840cbcb78afcc95a2e57a0fe92d6016f0ee6b5e1530e647ddb2799dae709ff57ac86bdfdefd32be1f3b1aec789cdc6b49f81c3186291672a8945bc474dd  config-ppc64
 64486a4f53046a69f727cecd8c39400b50c2d2b15e3b5ca8c18b8249d25990f3a872ec064800ba3d190f9d25b4518899b9ea3675920f487108102856d6beb51e  futex-cmpxchg.patch"

system/easy-kernel/APKBUILD

 # Contributor: A. Wilcox <awilfox@adelielinux.org>
 # Maintainer: Adelie Platform Group <adelie-devel@lists.adelielinux.org>
 _pkgname=easy-kernel
-pkgver=4.14.76
-pkgrel=11
+pkgver=4.14.88
+pkgrel=13
 pkgname=$_pkgname-$pkgver-mc$pkgrel
 pkgdesc="The Linux kernel, packaged for your convenience"
 url="https://kernel.org/"
@@ -107,7 +107,7 @@ src() {
 	mv "$srcdir"/linux-src "$subpkgdir"/usr/src/linux-$pkgver-mc$pkgrel
 }
 sha512sums="77e43a02d766c3d73b7e25c4aafb2e931d6b16e870510c22cef0cdb05c3acb7952b8908ebad12b10ef982c6efbe286364b1544586e715cf38390e483927904d8  linux-4.14.tar.xz
-d8bfe29549e0a1a7e86d8ead682e93e704c8d0b4b454f8a75306aa7ef5d628cab3a65847e27502866ed5901aff189eb440d47d8e07c2c34ebb7d2d82b717a64b  linux-4.14-mc11.patch.xz
+b9ec95e20b8ef1f99ab393c285f99c8630915ad688ea1f6eaf170b180f0aea65a24a8875f7a7ccc0c1a35b1e54a0b1ff2e6d04fb5f0fc2cbd5857082128a04a8  linux-4.14-mc13.patch.xz
 e41d9111219342ad13367902242444ecdd847a93575c3f9709d6c6a075bc650f4a15be9db1a8798435fc0a0b56d41705829bfe0d2c2d88f8d1c28931e27ef5be  ast-endianness.patch
 cfa1c2b523875967c42bfd8fcfeeb80b1c4c9887c4399b4767f0ac0525769a9e8c5cddaec831e1adfa546ac2d66f68ef23dc594a286532f4b9890401efd75c67  config-ppc64
 1112f6c3fcfd7fdc0ef4d5e85df5d3adea430a9c7b4c2b34508a215f7ba14c863ccd7a5e17f13ed46c518bafec30cfb3ced70c465137c14ef5fc998b6cbcca1f  config-ppc