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