optimize the .config dependency chain in the toplevel makefile