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