guess_boot_cpuid
guess_boot_cpuid($3));
uint32_t guess_boot_cpuid(struct node *tree);
return build_dt_info(DTSF_V1, NULL, tree, guess_boot_cpuid(tree));