K 10 svn:author V 6 marcel K 8 svn:date V 27 2010-07-03T20:19:20.494485Z K 7 svn:log V 196 Allocate and setup an interrupt vector for corrected machine checks. For now, just print when we get the interrupt, but eventually we need to collect the details and provide a more useful report. END