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