copy_xbc_key_value_list
len = copy_xbc_key_value_list(NULL, 0);
len = copy_xbc_key_value_list(saved_boot_config, len + 1);