[coreboot] weird problem with KGPE-D16

[Trammell Hudson]

On Tue, Sep 13, 2016 at 11:43:08PM +0000, ron minnich wrote:
> I've been trying to find a problem in linux that makes it not boot when
> used as the payload in the KGPE-D16. The symptom is that I get no output at
> all on serial when linux starts.

That sounds related to the decompression problem that I encountered:

https://www.coreboot.org/pipermail/coreboot/2016-August/081891.html

Luckily I was able to reproduce it in qemu, but not fix it other
than patching the Linux x86/boot code.

-- 
Trammell