diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm
index 3a97765931..b63ad63749 100644
--- a/gnu/packages/firmware.scm
+++ b/gnu/packages/firmware.scm
@@ -248,7 +248,7 @@ (define* (make-opensbi-package platform name #:optional (arch "riscv64"))
                                                           (%current-system)))
                                      (string-prefix? "riscv64" arch))
                                 `("CROSS_COMPILE=riscv64-linux-gnu-")
-                                '())
+                                `("CC=gcc"))
                           "FW_PAYLOAD=n"
                           "V=1")
        #:phases