Re: [coreboot] KCMA-D8 /D16 and xen+bsd