corrected print_cpuinfo() to fix startup halt