Hi, The problem seems to be that the headers package was produced by a kernel-package in which Bug#315858 was still present. Creating a headers package with kernel-package now would not have this issue.
manoj -- It's clever, but is it art? Manoj Srivastava <[EMAIL PROTECTED]> <http://www.debian.org/%7Esrivasta/> 1024D/BF24424C print 4966 F272 D093 B493 410B 924B 21BA DABB BF24 424C -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]