Re: [PATCH u-boot 15/39] Makefile, Makefile.spl: cosmetic change