|
@@ -98,6 +98,16 @@ static const struct dmi_system_id pci_use_crs_table[] __initconst = {
|
|
|
DMI_MATCH(DMI_BIOS_VERSION, "6JET85WW (1.43 )"),
|
|
|
},
|
|
|
},
|
|
|
+ /* 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"),
|
|
|
+ },
|
|
|
+ },
|
|
|
{}
|
|
|
};
|
|
|
|