[coreboot] Re: [PATCH v3 2/2] x86: Update cbmem driver