Comment 38 for bug 1070427

There is no valid way in dpkg to represent the dependency on the "linux headers you need installed for the kernel you are running". The nearest would be a "linux-headers-generic | linux-headers-server" style or, but this triggers the first one that exists to install, not the one you need.