RE: Rebuild a changed kernel quickly with make?