bootprop_getstr
if (bootprop_getstr("nmi", prop_str, sizeof (prop_str)) == 0) {
if (bootprop_getstr("smt_enabled", prop_str, sizeof (prop_str)) == 0) {
extern int bootprop_getstr(const char *, char *, size_t);