x86: Update SPL for coreboot