Re: [U-Boot] doing anything about "bad" Kbuild configuration options?