'Hardware makefiles will use the headers copied by the kernel'