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