[coreboot] Pointers in FSP config?