Re: [coreboot] Gerrit config (was: Re: Patch merged into coreboot/master: 7f8e685 Load an IDT with NULL limit)