Updated ISR init code in kernel.cpp