K 10 svn:author V 5 peter K 8 svn:date V 27 1997-09-05T08:54:55.000000Z K 7 svn:log V 122 Cosmetic adjustment for the trap/double fault/panic cpu id listing. It now prints the apic id in hex rather than decimal. END