[coreboot] [PATCH] let high memory size be decided in cbmem.h