Re: [coreboot] Haswell/panther - GPU memory allocation