Upgrade snapshot of the Debian APT repository to 2018011503 ⇒ upgrade to Linux 4.14.13 (refs: #15148).

Linux 4.14.13 is the first kernel that has the "[x86] microcode/AMD: Add support
for fam17h microcode loading" commit, that's needed to load the AMD fam17h
microcode for mitigating the Spectre vulnerability (CVE-2017-5715).