Re: [U-Boot] how are "CONFIG_*" variables processed by Makefiles?