[PATCH 064/171] Correct SPL uses of CPU_MICROBLAZE