[coreboot] Re: How to best handle new Intel Saphire Rapids server boards based on Intel Archer City?