Re: [coreboot] Patch management