Not sure if that helps, but I have a Linux box with kernel

4.18.0-1017-aws

, that the DEB package works well