Fix issues in the architected timer driver.