set_boot_cpu_id.c revision 3df22524
1