I'm trying to build an image for my router, which (after all) seems to need Grub.EFI64...

Here is my config:

    caillette = host hn $ props
        & hasPartitionTableType GPT
        & hasPartition
            ( partition VFAT
                `mountedAt` "/boot/efi"
                `partLocation` Beginning
                `setSize` MegaBytes 10
                `setFlag` EspFlag
            )
        & hasPartition
            ( partition EXT2
                `mountedAt` "/boot"
                `setSize` MegaBytes 150
            )
        & hasPartition
            ( partition EXT4
                `mountedAt` "/"
                `partLocation` End
                `addFreeSpace` MegaBytes 500
            )
        & standardSystem (Stable "stretch") X86_64
            [ "home router" ]
        & Apt.installed ["linux-image-amd64"]
        & serialGrub
      where
        serialGrub :: Property (HasInfo + DebianLike)
        serialGrub = "/etc/default/grub" `File.containsLines`
            [ "GRUB_CMDLINE_LINUX=\"console=ttyS0,115200n8 biosdevname=0\""
            , "GRUB_SERIAL_COMMAND=\"serial --speed=115200 --unit=0 --word=8 --parity=no --stop=1\""
            , "GRUB_TERMINAL=serial"
            ]
            -- `onChange` Grub.mkConfig
            `requires` Grub.installed Grub.EFI64
            `describe` "GRUB configured for PC Engines' APU2 serial console"

When running propellor it fails with:

    ...
    mkfs.fat 4.1 (2017-01-24)
    loop deleted : /dev/loop0
    rsync: change_dir "/srv/router.img.chroot/boot/efi" failed: No such file or directory (2)
                  0 100%    0.00kB/s    0:00:00 (xfr#0, to-chk=0/0)rsync error: some files/attrs were not transferred (see previous errors) (code 23) at main.c(1196) [sender=3.1.2]
    
    loop deleted : /dev/loop0
    laptop built disk image /srv/router.img ... failed
    laptop overall ... failed

Shouldn't /boot/efi be automatically created?
