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