[PATCH v2 3/7] x86: Update SPL for coreboot