I rolled the latest and the last of the 4.13 kernel line, with all the usual patches.. find 4.13.16-jbpm0-amd64 at the usual place. I've only tested it on my VM as yet. next up will be 4.14.3. I'll actually test that before putting it online for downloading.