Revision 3591

the cp stuff done in headers-install is actually done by kernel-package now;
no need to do it there anymore.  And, while we're at it, nuke $(headers_extra);
if archs really need it, they can add it to headers-install.in (I'd rather
see headers-install.in go away eventually, though).