Add location information to kernel_panic(); add printf() functions.
bugfix: ISRs for exceptions which included an error code would report 'Unknown ISR' instead.