microblaze: timer: Update header