diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index e032a383e468..ae9b702b442c 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -293,8 +293,8 @@ rec {
     kernelTarget = "zImage";
     uboot = null;
     gcc = {
-      cpu = "cortex-a7";
-      fpu = "neon-vfpv4";
+      arch = "armv7-a";
+      fpu = "vfpv3-d16";
       float = "hard";
     };
   };