[coreboot] [PREVIEW]sconfig in C