[PATCH 09/10] cpu: microblaze: add driver for CPU