Fix missing efi and x64 support in template

docs/site/getting-started/machines.md

@@ -49,7 +49,7 @@ This process involves preparing a suitable hardware and disk partitioning config
     The installer will randomly generate a password and local addresses on boot, then run ssh with these preconfigured.
     The installer shows it's deployment relevant information in two formats, a text form, as well as a QR code.
 
-    ???example "An example view of a booted installer." 
+
     This is an example of the booted installer.
 
     ```{ .bash .annotate }

templates/new-clan/modules/disko.nix

@@ -1,4 +1,7 @@
+{ lib, ... }:
 {
+  boot.loader.grub.efiSupport = lib.mkDefault true;
+  boot.loader.grub.efiInstallAsRemovable = lib.mkDefault true;
   disko.devices = {
     disk = {
       main = {
@@ -11,6 +14,7 @@
             boot = {
               size = "1M";
               type = "EF02"; # for grub MBR
+              priority = 1;
             };
             ESP = {
               size = "512M";