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