[PATCH v3 4/7] x86: Update SPL for coreboot