[coreboot] Need pointers