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