Re: [PATCH u-boot v4 12/36] Makefile, Makefile.spl: cosmetic change