K 10 svn:author V 3 jhb K 8 svn:date V 27 2006-11-07T18:48:18.000000Z K 7 svn:log V 178 Remove old XXX comment about possibly adding a print_Intel_info() function to dump CPUID level=2 stuff. A print_INTEL_info() function that does just that was added a while ago. END