[coreboot] Patch set updated for coreboot: 4f0d3b3 armv7: Clean up: remove deprecated SPL.