[coreboot] Re: "Delete change" Gerrit feature does more harm than good