diff --git a/src/device/kbc_at.c b/src/device/kbc_at.c
index ad63099fb..5c3c9ac6e 100644
--- a/src/device/kbc_at.c
+++ b/src/device/kbc_at.c
@@ -821,7 +821,7 @@ write_p2(atkbc_t *dev, uint8_t val)
                 softresetx86(); /* Pulse reset! */
                 cpu_set_edx();
                 flushmmucache();
-                if (kbc_ven == KBC_VEN_ALI)
+                if ((kbc_ven == KBC_VEN_ALI) || !strcmp(machine_get_internal_name(), "spc7700plw"))
                     smbase = 0x00030000;
 
                 /* Yes, this is a hack, but until someone gets ahold of the real PCD-2L