third-party-mirror / u-boot / 823afe7cefe00dafefc6696c1cc7aa828c394234 / sh_config.mk