Re: [PATCH v4 10/27] Makefile: Rename ALL-y to INPUTS-y