bump version to 4.13-35, bump ABI to 4.13.13-4-pve

Makefile

@@ -2,10 +2,10 @@ RELEASE=5.1
 
 # also update proxmox-ve/changelog if you change KERNEL_VER or KREL
 KERNEL_VER=4.13.13
-PKGREL=34
+PKGREL=35
 # also include firmware of previous version into
 # the fw package:  fwlist-2.6.32-PREV-pve
-KREL=3
+KREL=4
 
 KERNEL_SRC=ubuntu-artful
 KERNEL_SRC_SUBMODULE=submodules/ubuntu-artful

changelog.Debian

@@ -1,3 +1,13 @@
+pve-kernel (4.13.13-35) unstable; urgency=medium
+
+  * KPTI: disable on AMD
+
+  * KPTI: add follow-up fixes
+
+  * update Spectre KVM PoC fix for AMD
+
+ -- Proxmox Support Team <[email protected]>  Mon, 8 Jan 2018 10:26:58 +0100
+
 pve-kernel (4.13.13-34) unstable; urgency=medium
 
   * cherry-pick / backport of KPTI / Meltdown fixes

proxmox-ve/changelog.Debian

@@ -1,3 +1,9 @@
+proxmox-ve (5.1-35) unstable; urgency=medium
+
+  * depend on newest 4.13.13-4-pve kernel
+
+ -- Proxmox Support Team <[email protected]>  Mon, 8 Jan 2018 10:26:58 +0100
+
 proxmox-ve (5.1-34) unstable; urgency=medium
 
   * depend on newest 4.13.13-3-pve kernel