Wanna file a bug at https://bugs.chromium.org/p/gerrit/issues/list ?
Are we sure this is a general Gerrit bug? I've not seen the same thing on the Chromium Gerrit so I'm assuming it's specific to the coreboot installation. I've opened a coreboot bug for now (https://ticket.coreboot.org/issues/205), if Patrick (or whoever manages that stuff) decides it's not specific to our setup we can still complain to Gerrit directly.