gasket-dkms: fix linux-headers dependency

Signed-off-by: Leonid Lobachev <leonidl@google.com>
Change-Id: Ia6642ec2e8564c0471cad6d3111621609b5ae0ab
2 files changed
tree: 5164f4bb39ae08c61431d434facd53118bc94f49
  1. debian/
  2. src/