kernel.c: replace interrupt number variable type from unsigned int to int

The later comparision compares interrupt number with a negtive number.
That means the variable should be a signed integer rather than unsigned
integer.