Re: [PATCH 0/2] microblaze: Fix timer and interrupt code