[coreboot] [PATCH] add proper "memory management" for high table area (aka CBMEM)