tree da1ca727fae00368b212055c8c9d1af42b01c4ea
parent 432eb61c66a6ae346ba33b5381a8df16034e352c
author David 'Digit' Turner <digit@google.com> 1397579971 +0200
committer David 'Digit' Turner <digit@google.com> 1405690273 +0200

goldfish/timer: Properly restore IRQ

Ensure the timer's IRQ is lowered on load if the reloaded alarm
has not fired yet.

Change-Id: I089a3b74d4528a3779ed7b977d52d29dbe7b6db5