os_info_entry_add_data
void os_info_entry_add_data(int nr, void *ptr, u64 len);
os_info_entry_add_data(OS_INFO_REIPL_BLOCK, reipl_block_actual,
os_info_entry_add_data(OS_INFO_FLAGS_ENTRY, &os_info_flags, sizeof(os_info_flags));