Re: [PATCH] CI: x86: coreboot: Update to latest coreboot