The builtin module in http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.19.8-vivid/linux-headers-3.19.8-031908-generic_3.19.8-031908.201505110938_amd64.deb is also broken.
The builtin module in http:// kernel. ubuntu. com/~kernel- ppa/mainline/ v3.19.8- vivid/linux- headers- 3.19.8- 031908- generic_ 3.19.8- 031908. 201505110938_ amd64.deb is also broken.