[coreboot] Servers?