third-party-mirror / u-boot / 507bbe3e8084a82c20399367801da87db7d14e65 / lib_microblaze / microblaze_linux.c