Re: [coreboot] PAT memory type issues and cbmem