diff --git a/modules.bzl b/modules.bzl
index 025abfebedf2..a1eb6849b8fe 100644
--- a/modules.bzl
+++ b/modules.bzl
@@ -85,6 +85,11 @@ _RISCV64_GKI_MODULES_LIST = [
     # keep sorted
 ]
 
+_X86_GKI_MODULES_LIST = [
+    # keep sorted
+    "drivers/ptp/ptp_kvm.ko",
+]
+
 _X86_64_GKI_MODULES_LIST = [
     # keep sorted
 ]
@@ -94,7 +99,7 @@ def get_gki_modules_list(arch = None):
     """ Provides the list of GKI modules.
 
     Args:
-      arch: One of [arm, arm64, x86_64, riscv64].
+      arch: One of [arm, arm64, i386, x86_64, riscv64].
 
     Returns:
       The list of GKI modules for the given |arch|.
@@ -104,12 +109,14 @@ def get_gki_modules_list(arch = None):
         gki_modules_list += _ARM_GKI_MODULES_LIST
     elif arch == "arm64":
         gki_modules_list += _ARM64_GKI_MODULES_LIST
+    elif arch == "i386":
+        gki_modules_list += _X86_GKI_MODULES_LIST
     elif arch == "x86_64":
         gki_modules_list += _X86_64_GKI_MODULES_LIST
     elif arch == "riscv64":
         gki_modules_list += _RISCV64_GKI_MODULES_LIST
     else:
-        fail("{}: arch {} not supported. Use one of [arm, arm64, x86_64, riscv64]".format(
+        fail("{}: arch {} not supported. Use one of [arm, arm64, i386, x86_64, riscv64]".format(
             str(native.package_relative_label(":x")).removesuffix(":x"),
             arch,
         ))