Re: [PATCH v3 4/7] x86: Update SPL for coreboot