[coreboot] Naming for identical chips with different model numbers due to different package variants