diff --git a/pkgs/os-specific/linux/hpuefi-mod/default.nix b/pkgs/os-specific/linux/hpuefi-mod/default.nix
index 201d1ea50153..ec22be081b7f 100644
--- a/pkgs/os-specific/linux/hpuefi-mod/default.nix
+++ b/pkgs/os-specific/linux/hpuefi-mod/default.nix
@@ -37,7 +37,7 @@ stdenv.mkDerivation (finalAttrs: {
     homepage = "https://ftp.hp.com/pub/caps-softpaq/cmit/linuxtools/HP_LinuxTools.html";
     description = "Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers";
     license = lib.licenses.gpl2Only; # See "License" section in ./non-rpms/hpuefi-mod-*.tgz/README
-    platforms = lib.platforms.linux;
+    platforms = [ "x86_64-linux" ];
     maintainers = with lib.maintainers; [ tomodachi94 ];
   };
 })