set_boot_cpu_id.c revision 768e9a61
1