rename board configs, and add to sources file the t530/w530 boards in some situations, the files weren't being downloaded
New x230edp_12mb target uses the https://review.coreboot.org/c/coreboot/+/28950 patchset to add an X230_EDP target to the default coreboot branch. Consequently the "fhd" coreboot branch is no longer needed and has been safely removed.
osboot is now part of libreboot, and will soon shut down. libreboot now conforms to osboot policy.
Leah Rowe