clock: Use irq number; More consistent with the above register_int()