'Hardware repos will use headers copied by kernel'