Rebuild a changed kernel quickly with make?