HP_WMI_BIOS_GUID
ret = wmi_evaluate_method(HP_WMI_BIOS_GUID, 0, mid, &input, &output);
{ .guid_string = HP_WMI_BIOS_GUID},
int hp_bios_capable = wmi_has_guid(HP_WMI_BIOS_GUID);