[coreboot] GRUB2 minisummit 2020 each Tuesday this November