[coreboot] patch: compilable raminit.c