Re: [PATCH v3 2/7] x86: Allow building an SPL image for coreboot