Kernel alarms pass the alarm ID