diff --git a/guix-hpc3.scm b/guix-hpc3.scm
index 6c184aa57ec6d79119c14ff5f214a0c5014c0f81..74e6d653192b8eeb8b9985e37dea29b7ce0dab5e 100644
--- a/guix-hpc3.scm
+++ b/guix-hpc3.scm
@@ -7,19 +7,15 @@
     (inherit base-os)
     (host-name "guix-hpc3")
 
-    ;; This is a UEFI setup.
+    ;; This is a BIOS setup.
     (bootloader (bootloader-configuration
-                 (bootloader grub-efi-bootloader)
-                 (targets '("/boot/efi"))))
+                 (bootloader grub-bootloader)
+                 (targets (list "/dev/sda"))))
 
     (initrd-modules (append (list "megaraid_sas")
                             %base-initrd-modules))
 
     (file-systems (append (list (file-system
-                                  (mount-point "/boot/efi")
-                                  (device (uuid "76CE-39FF" 'fat32))
-                                  (type "vfat"))
-                                (file-system
                                   (mount-point "/")
                                   (device (uuid "cdbcb919-535b-41a7-9387-181a2bed7d1d"
                                                 'ext4))