Hi

Please could the following patch be added to the kernel

diff --git a/drivers/input/keyboard/atkbd.c b/drivers/input/keyboard/atkbd.c
index 95fe045..592623e 100644
--- a/drivers/input/keyboard/atkbd.c
+++ b/drivers/input/keyboard/atkbd.c

@@ -1572,6 +1572,16 @@ static struct dmi_system_id

atkbd_dmi_quirk_table[] __initdata = {
                .callback = atkbd_setup_forced_release,
                .driver_data = atkbd_samsung_forced_release_keys,
        },
+        {
+                .ident = "Samsung R510/P510",
+                .matches = {
+                        DMI_MATCH(DMI_SYS_VENDOR, "SAMSUNG
ELECTRONICS CO., LTD."),
+                        DMI_MATCH(DMI_PRODUCT_NAME, "R510/P510"),
+                },
+                .callback = atkbd_setup_forced_release,
+                .driver_data = atkbd_samsung_forced_release_keys,
+        },
+
        {
                .ident = "Fujitsu Amilo PA 1510",
                .matches = {

This fixes the forced release keys for me

Thanks

Mike

PS I'm not subscribed to this list so please CC me