set_boot_cpu_id.c revision 2b38a739
1