third-party-mirror / u-boot / 9d5028c2f7a65d3777867a6cfc966a01a5823132 / nios2_config.mk