[PATCH 3/6] x86: Update SPL for coreboot