I just realized I have mistyped the grub configuration (bootloader (grub-configuration (device "/dev/sd1"))) it should probably be (bootloader (grub-configuration (device "/dev/sda1"))) or (bootloader (grub-configuration (device "/dev/sda")))