set_boot_cpu_id.c revision 3f44e7fd
1