set_boot_cpu_id.c revision 594a1c27
1