DMI_MATCH(DMI_BIOS_VERSION, "6JET85WW (1.43 )"),
},
},
+
+ /* https://bugzilla.kernel.org/show_bug.cgi?id=15362 */
+ {
+ .callback = set_ignore_seg,
+ .ident = "HP xw9300",
+ .matches = {
+ DMI_MATCH(DMI_SYS_VENDOR, "Hewlett-Packard"),
+ DMI_MATCH(DMI_PRODUCT_NAME, "HP xw9300 Workstation"),
+ },
+ },
++
+ /* https://bugzilla.kernel.org/show_bug.cgi?id=47981 */
+ {
+ .callback = set_nouse_crs,
+ .ident = "CheckPoint P-20-00",
+ .matches = {
+ DMI_MATCH(DMI_SYS_VENDOR, "CheckPoint"),
+ DMI_MATCH(DMI_PRODUCT_NAME, "P-20-00"),
+ DMI_MATCH(DMI_BOARD_NAME, "Bridgeport"),
+ },
+ },
{}
};