waiting on my machine to arrive as I commit this.

The patch in the other branch, mbair42_wip, is obsolete,
because I took the build system changes of that and split
them up into smaller changes, that were suitable already for
master.

so this patch now is just the config!

for example, files being downloaded have nothing to do
with the ME; they are merely compressed, and contain many
files in addition to it

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.