This bug was fixed in the package linux - 4.13.0-32.35
--------------- linux (4.13.0-32.35) artful; urgency=low
* CVE-2017-5715 // CVE-2017-5753 - SAUCE: x86/entry: Fix up retpoline assembler labels
-- Stefan Bader <email address hidden> Tue, 23 Jan 2018 09:13:39 +0100
This bug was fixed in the package linux - 4.13.0-32.35
---------------
linux (4.13.0-32.35) artful; urgency=low
* CVE-2017-5715 // CVE-2017-5753
- SAUCE: x86/entry: Fix up retpoline assembler labels
-- Stefan Bader <email address hidden> Tue, 23 Jan 2018 09:13:39 +0100