As I've discussed it with joerg_rw, we came to a conclusion that we could depend on either one of the kernels (dpkg supports multiple depends with a |), then just read /proc/driver/musb_hdrc and check if that has the compatible string, that way, you can use any kernel you want.