Re: [coreboot] Payload size, memory size and linux kernel