tree="next" xarch="i386-elf" payload_seabios="y" payload_grub="y" payload_memtest="y" grub_scan_disk="nvme ahci" grubtree="xhci" vcfg="3050micro" build_depend="seabios/default grub/xhci memtest86plus u-boot/amd64coreboot" IFD_platform="sklkbl" payload_uboot_amd64="y" release="n" # dell3050micro_vfsp_16mb is released instead