Adding basic ISR handling.
Adding hexadecimal printing to kprintf.