builddeb: fix missing headers in linux-headers package