enabling disko for some profiles

hosts/ace/default.nix

@@ -4,7 +4,9 @@
   imports =
     [
       ./hardware-configuration.nix
+      ../disko/mmcblk.nix
       ../workstation
+      ../themes.nix
       ../wm
     ];
   networking.hostName = "ace";

hosts/ace/hardware-configuration.nix

@@ -14,18 +14,18 @@
   boot.extraModulePackages = [ ];
 
   fileSystems."/" =
-    { device = "/dev/disk/by-uuid/31c01307-0e0b-4f01-8c0e-04bd70698a28";
+    { device = "/dev/mmcblk0p2";
       fsType = "ext4";
     };
 
-  fileSystems."/boot/efi" =
-    { device = "/dev/disk/by-uuid/7714-A10A";
+  fileSystems."/boot" =
+    { device = "/dev/mmcblk0p1";
       fsType = "vfat";
     };
 
-  swapDevices =
-    [ { device = "/dev/disk/by-uuid/8c445831-23e0-4508-85d0-54ea8cd3f80b"; }
-    ];
+  # swapDevices =
+  #   [ { device = "/dev/disk/by-uuid/8c445831-23e0-4508-85d0-54ea8cd3f80b"; }
+  #   ];
 
   # Enables DHCP on each ethernet and wireless interface. In case of scripted networking
   # (the default) this is the recommended approach. When using systemd-networkd it's