[coreboot] Patch merged into coreboot/master: 439e0d2 armv7: Clean up: remove deprecated SPL.