[coreboot] No Coreboot on system76 dekstops

[Tim Crawford]

I assume you mean the info on https://doc.coreboot.org/distributions.html.
> System76 manufactures Linux laptops, desktops, and servers. Some models are sold with System76 Open Firmware, an open source distribution of coreboot, edk2, and System76 firmware applications.

System76 *does* make desktops. But only laptops ("some models") are able to be ported to coreboot.