[coreboot] Re: Coreboot Picasso FSP questions