header:
  version: 11

local_conf_header:
  bootfirmware: |
    PREFERRED_PROVIDER_virtual/bootloader = "edk2-firmware"
    MACHINE_FEATURES += "efi"
    TFA_UBOOT = "0"
    TFA_UEFI = "1"
