ThinkPad T580 support.

Yes.

Thank you Johann C. Rode for this excellent coreboot port.

You're a star.

Signed-off-by: Leah Rowe <leah@libreboot.org>

config/coreboot/t580_vfsp_16mb/target.cfg

@@ -0,0 +1,12 @@
+# SPDX-License-Identifier: GPL-3.0-or-later
+
+tree="default"
+xarch="i386-elf"
+payload_seabios="y"
+payload_grub="y"
+payload_memtest="y"
+grub_scan_disk="nvme ahci"
+grubtree="xhci_nvme"
+vcfg="t580"
+build_depend="seabios/default grub/xhci_nvme memtest86plus"
+IFD_platform="sklkbl"