diff --git a/src/machine/m_at_slot1.c b/src/machine/m_at_slot1.c
index 188364e1c..f3b225ae1 100644
--- a/src/machine/m_at_slot1.c
+++ b/src/machine/m_at_slot1.c
@@ -717,7 +717,6 @@ machine_at_m729_init(const machine_t *model)
     pci_register_slot(0x10, PCI_CARD_NORMAL, 3, 4, 1, 2);
     device_add(&ali1621_device);
     device_add(&ali1543c_device);	/* +0 */
-    device_add(&keyboard_ps2_ami_pci_device);
     device_add(&sst_flash_29ee010_device);
     spd_register(SPD_TYPE_SDRAM, 0x7, 512);
 
diff --git a/src/machine/m_at_socket7.c b/src/machine/m_at_socket7.c
index 25fa8483e..2856a599c 100644
--- a/src/machine/m_at_socket7.c
+++ b/src/machine/m_at_socket7.c
@@ -1005,7 +1005,6 @@ machine_at_m560_init(const machine_t *model)
     pci_register_slot(0x06, PCI_CARD_NORMAL, 4, 1, 2, 3);
     device_add(&ali1531_device);
     device_add(&ali1543_device);	/* -5 */
-    device_add(&keyboard_ps2_ami_pci_device);
     device_add(&sst_flash_29ee010_device);
     spd_register(SPD_TYPE_SDRAM, 0x3, 256);
 
@@ -1040,7 +1039,6 @@ machine_at_ms5164_init(const machine_t *model)
 
     device_add(&ali1531_device);
     device_add(&ali1543_device);	/* -5 */
-    device_add(&keyboard_ps2_ami_pci_device);
     device_add(&sst_flash_29ee010_device);
     spd_register(SPD_TYPE_SDRAM, 0x3, 256);
 
diff --git a/src/machine/m_at_sockets7.c b/src/machine/m_at_sockets7.c
index c8eeccea0..a32bf3883 100644
--- a/src/machine/m_at_sockets7.c
+++ b/src/machine/m_at_sockets7.c
@@ -73,7 +73,6 @@ machine_at_p5a_init(const machine_t *model)
     pci_register_slot(0x06, PCI_CARD_NORMAL, 3, 4, 1, 2);
     device_add(&ali1541_device);
     device_add(&ali1543c_device);	/* +0 */
-    device_add(&keyboard_ps2_ami_pci_device);
     device_add(&sst_flash_39sf020_device);
     spd_register(SPD_TYPE_SDRAM, 0x7, 512);
     device_add(&w83781d_p5a_device); /* fans: Chassis, CPU, Power; temperatures: MB, unused, CPU */
@@ -107,7 +106,6 @@ machine_at_m579_init(const machine_t *model)
     pci_register_slot(0x14, PCI_CARD_NORMAL, 1, 2, 3, 4);
     device_add(&ali1541_device);
     device_add(&ali1543c_device);	/* +0 */
-    device_add(&keyboard_ps2_ami_pci_device);
     device_add(&sst_flash_29ee010_device);
     spd_register(SPD_TYPE_SDRAM, 0x7, 512);
 
@@ -140,7 +138,6 @@ machine_at_5aa_init(const machine_t *model)
     pci_register_slot(0x0A, PCI_CARD_NORMAL, 3, 4, 1, 2);
     device_add(&ali1541_device);
     device_add(&ali1543c_device);	/* +0 */
-    device_add(&keyboard_ps2_ami_pci_device);
     device_add(&sst_flash_29ee010_device);
     spd_register(SPD_TYPE_SDRAM, 0x7, 512);
 
@@ -175,7 +172,6 @@ machine_at_5ax_init(const machine_t *model)
     pci_register_slot(0x0C, PCI_CARD_NORMAL, 1, 2, 3, 4);
     device_add(&ali1541_device);
     device_add(&ali1543c_device);	/* +0 */
-    device_add(&keyboard_ps2_ami_pci_device);
     device_add(&sst_flash_29ee010_device);
     spd_register(SPD_TYPE_SDRAM, 0x7, 512);