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