[coreboot] Patch set updated for coreboot: a031b9d Move cpus_ready_for_init() to AMD K8