Bug#815841: linux-headers-4.5.0-rc4-common: missing scripts/Makefile.ubsan causing dkms builds failures

[Luca Boccassi <luca.boccassi@gmail.com>]

Package: linux-headers-4.5.0-rc4-common
Version: 4.5~rc4-1~exp1
Severity: normal

Dear Maintainer,

4.5-rc1 started shipping a new file, scripts/Makefile.ubsan [1]. This is included by scripts/Makefile,
which is shipped by debian's linux-headers-4.5.0-rc4-common package, but the same does not ship
Makefile.ubsan, which is causing DKMS build failures.

Please consider either shipping this new makefile too or patching away the include in scripts/Makefile.

Thank you!

Kind regards,
Luca Boccassi

[1] https://github.com/torvalds/linux/commit/c6d308534aef6c99904bf5862066360ae067abc4