image @IMAGE@ {
    vfat {
        file EFI/BOOT/@EFI_IMAGE@ { image = "barebox-image" }
    }
    name = boot-vfat
    size = 7M
}