[coreboot] Re: Using kernelCI infrastructure for firmware testing