gnu: Return appropriate defconfig for ppc64 (non-LE)

* gnu/packages/linux.scm (system->defconfig): Add "powerpc64-" prefix.

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index 86cf30b..80afd12 100644 (file)
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -184,6 +184,7 @@
 defconfig.  Return the appropriate make target if applicable, otherwise return
 \"defconfig\"."
   (cond ((string-prefix? "powerpc-" system) "pmac32_defconfig")
+        ((string-prefix? "powerpc64-" system) "ppc64_defconfig")
         ((string-prefix? "powerpc64le-" system) "ppc64_defconfig")
         (else "defconfig")))