Re: [coreboot] [PATCH] Wyse S50 RAMBASE 0x100000 fix