file_addbuf
int file_addbuf(const char *name, const char *type, size_t len, void *buf);
return (file_addbuf("TSLOG", "TSLOG data", tslog_bufpos, tslog_buf));
if (file_addbuf("efi_rng_seed", "boot_entropy_platform", size, buf) != 0) {