[coreboot] Coreboot Picasso FSP questions