729e10b9e2
printf() to output some information before a panic, just include that information in the panic. Submitted by: bde Reviewed by: bde