[coreboot] Re: Pointers in FSP config?