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