x86pi_set_system
result = x86pi_set_system(mod, t_node);
int x86pi_set_system(topo_mod_t *, tnode_t *);