{ ... }:

{
  hardware.encryptedDisk.diskId = "mmc-SL32G_0x259093f6";
}