diff --git a/src/mainboard/hp/snb_ivb_desktops/acpi/superio.asl b/src/mainboard/hp/snb_ivb_desktops/acpi/superio.asl
index 506c6d4c2d..1488e3a83e 100644
--- a/src/mainboard/hp/snb_ivb_desktops/acpi/superio.asl
+++ b/src/mainboard/hp/snb_ivb_desktops/acpi/superio.asl
@@ -1,5 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
+#include <drivers/pc80/pc/ps2_controller.asl>
 #include <superio/nuvoton/npcd378/acpi/superio.asl>
 
 Scope (\_GPE)