Read-only release history for Device-BCM2835-Timer