[coreboot] coreboot solidpc