[coreboot] Updating Mailman