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