[coreboot] Intel CPU C2000(Rangeley)/C3000(Denverton)/D-1500(Broadwell-DE) supported in coreboot?