Hello,

There is a small bug in kirq.pach which gives a compilation error of an 
UP kernel.
The enclosed patch seems to be the fix.

Thanks,
Yaacov Akiba Slama