.driver_data = (void *)(SERIO_QUIRK_NOMUX | SERIO_QUIRK_RESET_ALWAYS |
                                        SERIO_QUIRK_NOLOOP | SERIO_QUIRK_NOPNP)
        },
+       {
+               .matches = {
+                       DMI_MATCH(DMI_BOARD_NAME, "P640RE"),
+               },
+               .driver_data = (void *)(SERIO_QUIRK_FORCENORESTORE)
+       },
        {
                /*
                 * This is only a partial board_name and might be followed by
                .driver_data = (void *)(SERIO_QUIRK_NOMUX | SERIO_QUIRK_RESET_ALWAYS |
                                        SERIO_QUIRK_NOLOOP | SERIO_QUIRK_NOPNP)
        },
+       {
+               .matches = {
+                       DMI_MATCH(DMI_BOARD_NAME, "PB51RF"),
+               },
+               .driver_data = (void *)(SERIO_QUIRK_FORCENORESTORE)
+       },
+       {
+               .matches = {
+                       DMI_MATCH(DMI_BOARD_NAME, "PB71RD"),
+               },
+               .driver_data = (void *)(SERIO_QUIRK_FORCENORESTORE)
+       },
+       {
+               .matches = {
+                       DMI_MATCH(DMI_BOARD_NAME, "PC70DR"),
+               },
+               .driver_data = (void *)(SERIO_QUIRK_FORCENORESTORE)
+       },
        {
                .matches = {
                        DMI_MATCH(DMI_BOARD_NAME, "PCX0DX"),
                .driver_data = (void *)(SERIO_QUIRK_NOMUX | SERIO_QUIRK_RESET_ALWAYS |
                                        SERIO_QUIRK_NOLOOP | SERIO_QUIRK_NOPNP)
        },
+       {
+               .matches = {
+                       DMI_MATCH(DMI_BOARD_NAME, "PCX0DX_GN20"),
+               },
+               .driver_data = (void *)(SERIO_QUIRK_FORCENORESTORE)
+       },
        /* See comment on TUXEDO InfinityBook S17 Gen6 / Clevo NS70MU above */
        {
                .matches = {