[coreboot] Planned maintenance on ticket.coreboot.org on July 1st