Use an IRQ alarm in rendez_sleep_timeout()