Models recommended for Coreboot are old ones. You can't get it on newer ones or can't even edit the UEFI/ACPI tables on them because firmware is a) signed b) on SMD nvram making it pita to flash