The following patch adds a missing function to the IPMI driver 
(outputting panics to the IPMI event log) and fixes a timing problem 
with ia64 jiffies.  This was posted on lkml, commented on, fixed, and 
reposted without comment.

Linus, please apply.

Thanks,

-Corey