Re: [coreboot] read_option() in sitemp_g1p1/romstage.c