[PATCH 107/171] Correct SPL uses of MICROBLAZE