DMI_PRODUCT_SERIAL
dmi_match(DMI_PRODUCT_SERIAL, "000000") &&
ADD_DMI_ATTR(product_serial, DMI_PRODUCT_SERIAL);
DEFINE_DMI_ATTR_WITH_SHOW(product_serial, 0400, DMI_PRODUCT_SERIAL);
dmi_save_ident(dm, DMI_PRODUCT_SERIAL, 7);
int f = DMI_PRODUCT_SERIAL;
strscpy(data->bios_machineid, i8k_get_dmi_data(DMI_PRODUCT_SERIAL),
serial = dmi_get_system_info(DMI_PRODUCT_SERIAL);