timers: Make process_timeout() soft-interruptible

The most frequent timer can be safely interrupted by other vectors as
it's only performing a wake-up.

Signed-off-by: Frederic Weisbecker <frederic@kernel.org>
1 file changed